{"product_id":"fm-2015-formal-methods-springer-international-publishing-ag-9783319192482-20th-international-symposium-oslo-norway-june-24-26-2015-proceedings-nikolaj-bj-rner","title":"FM 2015: Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge research presented in \u003cstrong\u003eFM 2015: Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eNikolaj Bjørner\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e. This comprehensive volume, released in 2015, features the refereed proceedings from the 20th International Symposium on Formal Methods held in Oslo, Norway. Spanning an impressive \u003cstrong\u003e610 pages\u003c\/strong\u003e, the book includes 30 full papers and 2 short papers, all meticulously reviewed and selected from a competitive pool of 124 submissions.\u003c\/p\u003e \u003cp\u003eFM 2015 is an essential resource for researchers and practitioners in the field of formal methods, offering insights into the latest advancements and methodologies. Enhance your understanding of this critical area of study with this authoritative collection of scholarly work.\u003c\/p\u003e","brand":"Nikolaj Bjørner","offers":[{"title":"Default Title","offer_id":52243396723030,"sku":"9783319192482","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319192482.jpg?v=1767766490","url":"https:\/\/www.laufgard.com\/products\/fm-2015-formal-methods-springer-international-publishing-ag-9783319192482-20th-international-symposium-oslo-norway-june-24-26-2015-proceedings-nikolaj-bj-rner","provider":"Bookshop","version":"1.0","type":"link"}