{"product_id":"integrated-formal-methods-springer-nature-switzerland-ag-9783030349677-15th-international-conference-ifm-2019-bergen-norway-december-2-6-2019-proceedings-wolfgang-ahrendt","title":"Integrated Formal Methods","description":"\u003cp\u003eExplore the cutting-edge research in formal methods with \u003cstrong\u003eIntegrated Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eWolfgang Ahrendt\u003c\/strong\u003e. This comprehensive volume presents the refereed proceedings of the 15th International Conference on Integrated Formal Methods (IFM 2019), which took place in Bergen, Norway, in December 2019. Featuring 25 full papers and 3 short papers, this collection showcases the best contributions selected from an impressive 95 submissions, highlighting the latest advancements in the field.\u003c\/p\u003e \u003cp\u003ePublished by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e, this 2019 edition spans \u003cstrong\u003e554 pages\u003c\/strong\u003e and is designed for researchers, practitioners, and students alike who are interested in formal methods and their applications. Dive into this essential resource and stay informed about the evolving landscape of integrated formal methods.\u003c\/p\u003e","brand":"Wolfgang Ahrendt","offers":[{"title":"Default Title","offer_id":52238637957462,"sku":"9783030349677","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030349677.jpg?v=1767760564","url":"https:\/\/www.englishbook.pt\/products\/integrated-formal-methods-springer-nature-switzerland-ag-9783030349677-15th-international-conference-ifm-2019-bergen-norway-december-2-6-2019-proceedings-wolfgang-ahrendt","provider":"Bookshop","version":"1.0","type":"link"}