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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13702)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13702)

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

$69.52

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 440
 Edition: 1st ed. 2022
ISBN 13: 9783031197550