The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... (Lecture Notes in Computer Science, 13704)

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... (Lecture Notes in Computer Science, 13704)

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

$64.68

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 437
 Edition: 1st ed. 2022
ISBN 13: 9783031197611