Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
£54.99
Includes FREE deliveryUsually despatched within days
Paperback / softback by Jan Friso Groote , Marieke Huisman
Short Description:
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which... Read more
Publisher: Springer International Publishing AGPublication Date: 12/08/2022
ISBN13: 9783031150074, 978-3031150074
ISBN10: 3031150074
Number of Pages: 245