{"product_id":"formal-methods-9783319955827","title":"Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911118483735,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319955827.jpg?v=1781260051","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/formal-methods-9783319955827","provider":"Kitaboo One eStore","version":"1.0","type":"link"}