Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... II: 7610 (Lecture Notes in Computer Science)

by Bernhard Steffen (Editor), Bernhard Steffen (Editor), Tiziana Margaria (Editor)

New
Paperback
2012
$56.46

$56.46

Save:$3.39 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 380
Edition: 2012
Publisher: Springer
Published: 11 Sep 2012
ISBN 10: 3642340318
ISBN 13: 9783642340314

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... II: 7610 (Lecture Notes in Computer Science)

New

$56.46

$56.46

More Information