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

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

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

$87.70

Quantity

10 in stock

More Information

Format: Paperback
Pages: 605
Edition: 1st ed. 2020
Publisher: Springer
Published: 29 Oct 2020

ISBN 10: 3030613615
ISBN 13: 9783030613617