Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings: 7940 (Lecture Notes in Computer Science)

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings: 7940 (Lecture Notes in Computer Science)

by Luigia Petre (Editor), Luigia Petre (Editor), Einar Broch Johnsen (Editor)

$65.87

Save:$4.51 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 460
Edition: 2013
Publisher: Springer
Published: 24 May 2013

ISBN 10: 3642386121
ISBN 13: 9783642386121