{"product_id":"rigorous-state-based-methods-9783031331633","title":"Rigorous State-Based Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.  The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":53578927178007,"sku":null,"price":8145.85,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031331633.jpg?v=1782465669","url":"https:\/\/payment.letskitaboo.com\/products\/rigorous-state-based-methods-9783031331633","provider":"Kitaboo One eStore","version":"1.0","type":"link"}