FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: 7436 (Lecture Notes in Computer Science)

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings: 7436 (Lecture Notes in Computer Science)

by Dimitra Giannakopoulou (Editor), Dimitra Giannakopoulou (Editor), Dominique Mery (Editor)

$73.54

Save:$5.21 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 504
Edition: 2012
Publisher: Springer
Published: 21 Jul 2012

ISBN 10: 3642327583
ISBN 13: 9783642327582