Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Name: Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
Brand: Springer International Publishing AG
SKU: 9783031077265
Price: 999.99 GBP

Product form

£999.99

Includes FREE delivery

A Paperback by Maurice H. ter Beek, Rosemary Monahan

Out of stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings by Maurice H. ter Beek

Publisher: Springer International Publishing AG
Publication Date: 01/06/2022
ISBN13: 9783031077265, 978-3031077265
ISBN10: 3031077261

Also in:
Computing Computer hardware Mathematical theory of computation Software Engineering