Formal methods for industrial critical systems [electronic resource] : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / Stefan Leue, Pedro Merino (eds.).

By:

Contributor(s):

Series: LNCS sublibrary. SL 2, Programming and software engineering | Lecture notes in computer science ; 4916Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: x, 250 p. : ill., digital ; 24 cmISBN:

Other title:

Subject(s):

DDC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Includes bibliographical references and author index.

There are no comments on this title.

to post a comment.

Back to results