{"product_id":"formal-methods-9783030908706","title":"Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks \u0026amp; Active Learning, Logics \u0026amp; Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915660292375,"sku":null,"price":13430.27,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030908706.jpg?v=1781528975","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/formal-methods-9783030908706","provider":"Kitaboo One eStore","version":"1.0","type":"link"}