{"product_id":"integrated-formal-methods-springer-international-publishing-ag-9783319668444-13th-international-conference-ifm-2017-turin-italy-september-20-22-2017-proceedings-nadia-polikarpova","title":"Integrated Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eIntegrated Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eNadia Polikarpova\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2017. This comprehensive volume, comprising 438 pages, presents the refereed proceedings of the 13th International Conference on Integrated Formal Methods (IFM 2017) held in Turin, Italy. Within these pages, you will find 24 meticulously reviewed full papers and 4 insightful short papers, selected from an impressive pool of 61 submissions. This book is an essential resource for researchers and practitioners interested in the latest advancements in formal methods and their applications. Dive into the world of integrated approaches that enhance software reliability and correctness, making it a must-have for your academic library or personal collection.\u003c\/p\u003e","brand":"Nadia Polikarpova","offers":[{"title":"Default Title","offer_id":52238637859158,"sku":"9783319668444","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319668444.jpg?v=1767760565","url":"https:\/\/www.englishbook.fi\/products\/integrated-formal-methods-springer-international-publishing-ag-9783319668444-13th-international-conference-ifm-2017-turin-italy-september-20-22-2017-proceedings-nadia-polikarpova","provider":"Bookshop","version":"1.0","type":"link"}