Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 (Lecture Notes in Computer Science, 12709)

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 (Lecture Notes in Computer Science, 12709)

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

$64.41

Quantity

10 in stock

More Information

Format: Paperback
Pages: 177
Edition: 1st ed. 2021
Publisher: Springer
Published: 23 May 2021

ISBN 10: 3030775429
ISBN 13: 9783030775421