{"product_id":"fm-2016-formal-methods-springer-international-publishing-ag-9783319489889-21st-international-symposium-limassol-cyprus-november-9-11-2016-proceedings-john-fitzgerald","title":"FM 2016: Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eFM 2016: Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eJohn Fitzgerald\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016. This comprehensive volume features the refereed proceedings of the 21st International Symposium on Formal Methods, held in Limassol, Cyprus. With a total of 789 pages, this first edition showcases 38 full papers and 11 short papers, all meticulously reviewed and selected from an impressive 162 submissions. Additionally, it includes an abstract of an invited talk and a presentation from a distinguished speaker, offering a wealth of knowledge for researchers and practitioners alike. Dive into the world of formal methods and enhance your understanding of this crucial area in computer science.\u003c\/p\u003e","brand":"John Fitzgerald","offers":[{"title":"Default Title","offer_id":52243396624726,"sku":"9783319489889","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319489889.jpg?v=1767766491","url":"https:\/\/www.laufgard.com\/products\/fm-2016-formal-methods-springer-international-publishing-ag-9783319489889-21st-international-symposium-limassol-cyprus-november-9-11-2016-proceedings-john-fitzgerald","provider":"Bookshop","version":"1.0","type":"link"}