{"product_id":"rigorous-state-based-methods-von-undefined","title":"Rigorous State-Based Methods","description":"\n                                This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. \n                \n                \u003cbr\u003e\n                                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. \n                \n                \u003cbr\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031331626\"\u003e\u003ch3\u003e9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031331626","offer_id":46725530583365,"sku":"9783031331626","price":80.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c444a10c-b7e6-4990-93ec-ea772acba083.jpg?v=1773551883","url":"https:\/\/shop.autorenwelt.de\/en\/products\/rigorous-state-based-methods-von-undefined","provider":"Autorenwelt Shop","version":"1.0","type":"link"}