Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036)

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

New
Paperback
2021
$74.50

$74.50

Save:$5.31 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 516
Edition: 1st ed. 2021
Publisher: Springer
Published: 12 Oct 2021
ISBN 10: 3030891585
ISBN 13: 9783030891589

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036)

New

$74.50

$74.50

More Information