Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings: 12327 (Lecture Notes in Computer Science, 12327)

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings: 12327 (Lecture Notes in Computer Science, 12327)

by Dejan Nickovic (Editor), Maurice H. ter Beek (Editor)

$58.32

Save:$3.82 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 311
Edition: 1st ed. 2020
Publisher: Springer
Published: 29 Aug 2020

ISBN 10: 3030582973
ISBN 13: 9783030582975