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: 58.49 GBP
Availability: InStock

Product form

£58.49

Includes FREE delivery

RRP £64.99 – you save £6.50 (10%)

Order before 4pm tomorrow for delivery by Wed 17 Jun 2026.

A Paperback by Maurice H. ter Beek, Rosemary Monahan

1 in 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