Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Lecture Notes in Computer Science, 12071)

by Dominique Méry (Editor), Alexander Raschke (Editor), Dominique Méry (Editor), Frank Houdek (Editor)

New
Paperback
2020
$76.14

$76.14

Save:$5.56 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 440
Edition: 1st ed. 2020
Publisher: Springer
Published: 15 May 2020
ISBN 10: 3030480763
ISBN 13: 9783030480769

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Lecture Notes in Computer Science, 12071)

New

$76.14

$76.14

More Information