Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477)

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

New
Paperback
2020
$105.40

$105.40

Quantity

10 in stock

More Information

Format: Paperback
Pages: 559
Edition: 1st ed. 2020
Publisher: Springer
Published: 27 Oct 2020
ISBN 10: 3030614697
ISBN 13: 9783030614690

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477)

New

$105.40

$105.40

More Information