Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings: 7437 (Lecture Notes in Computer Science)

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings: 7437 (Lecture Notes in Computer Science)

by Mariëlle Stoelinga (Editor), RalfPinger (Editor)

$47.19

Quantity

10 in stock

More Information

Format: Paperback
Pages: 240
Edition: 2012
Publisher: Springer
Published: 17 Jul 2012

ISBN 10: 3642324681
ISBN 13: 9783642324680