Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479)

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

New
Paperback
2021
$59.47

$59.47

Save:$3.88 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 277
Edition: 1st ed. 2021
Publisher: Springer
Published: 05 Aug 2021
ISBN 10: 303083722X
ISBN 13: 9783030837228

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... (Lecture Notes in Computer Science, 12479)

New

$59.47

$59.47

More Information