{"product_id":"rigorous-state-based-methods-von-undefined-1","title":"Rigorous State-Based Methods","description":"\n                                \n                \u003cp\u003eThis book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031637896\"\u003e\u003ch3\u003e10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031637896","offer_id":49634125545797,"sku":"9783031637896","price":80.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9a5b5785-dc3e-41fd-a028-59e5abf66715.jpg?v=1773466197","url":"https:\/\/shop.autorenwelt.de\/products\/rigorous-state-based-methods-von-undefined-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}