Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487)

by Marieke Huisman (Editor), Marieke Huisman (Editor), Jan Friso Groote (Editor)

$64.50

Quantity

10 in stock

More Information

Format: Paperback
Pages: 255
Edition: 1st ed. 2022

ISBN 13: 9783031150074