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)

New
Paperback
2018
$82.70

$82.70

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

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

New

$82.70

$82.70

More Information