This book is currently unavailable on Open Library, check out available alternatives.
An edition of Formal Methods for Industrial Critical Systems (2012)

Formal Methods for Industrial Critical Systems

17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

by

Cover of: Formal Methods for Industrial Critical Systems by Mariëlle Stoelinga, Mariëlle Stoelinga
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
June 30, 2019 | History
Edit
An edition of Formal Methods for Industrial Critical Systems (2012)

Formal Methods for Industrial Critical Systems

17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English

Previews available in: English

Subjects

Information systems Software engineering Logic design Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Computer science Computation by Abstract Devices Special Purpose and Application-Based Systems
Edition Availability
Cover of: Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
2012, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7437

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.758

The Physical Object

Format
[electronic resource] :

Edition Identifiers

Open Library
OL27039461M
ISBN 13
9783642324697

Work Identifiers

Work ID
OL19850830W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Download catalog record: RDF / JSON