Integrated Formal Methods: 17th International C. Beek, Monahan**

Springer International Publishing AG

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7\u201310, 2022, Proceedings\nby Maurice H. ter Beek\nPaperback\nEnglish\n\nDelivery\nUsually delivered in 2\u20133 working days (dispatched today if ordered before 3pm).\n\nBrand new copy from BookCurl \u2013 the UK independent online bookseller.\n\n------------------------------\nBook details\n------------------------------\nAuthor: Maurice H. ter Beek\nTitle: Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7\u201310, 2022, Proceedings\nFormat: Paperback\nLanguage: English\nTopic: Software Engineering\nPublisher: Springer International Publishing AG\nPublication year: 2022\nEdition: 1st ed. 2022\nISBN-13: 9783031077265\nISBN-10: 3031077261\nRRP: \u00A364.99\n\n------------------------------\nDescription\n------------------------------\n\nThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Met.