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

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... 11246 (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... 11246 (Lecture Notes in Computer Science)

by Bernhard Steffen (Editor), TizianaMargaria (Editor)

$86.36

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 538
 Edition: 1st ed. 2018
 Publisher: Springer
Published: 17 Dec 2018
ISBN 10: 3030034232
ISBN 13: 9783030034238