{"product_id":"rigorous-state-based-methods-springer-international-publishing-ag-9783031331626-9th-international-conference-abz-2023-nancy-france-may-30-june-2-2023-proceedings-uwe-gl-sser","title":"Rigorous State-Based Methods","description":"\u003cp\u003eDiscover the groundbreaking work of Uwe Glässer in \u003cstrong\u003eRigorous State-Based Methods\u003c\/strong\u003e, published by Springer International Publishing AG in 2023. This essential volume compiles the refereed proceedings from the 9th International Conference on Rigorous State-Based Methods (ABZ 2023), which took place in Nancy, France, in May 2023. Spanning 380 pages, this first edition explores advanced topics in state-based and machine-based formal methods, including Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. Ideal for researchers and practitioners alike, this book offers valuable insights into the latest developments in formal methods, making it a must-have for anyone interested in the field. Enhance your understanding of rigorous methodologies and elevate your work with this comprehensive resource.\u003c\/p\u003e","brand":"Uwe Glässer","offers":[{"title":"Default Title","offer_id":52261686772054,"sku":"9783031331626","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031331626.jpg?v=1767792924","url":"https:\/\/www.englishbook.fi\/products\/rigorous-state-based-methods-springer-international-publishing-ag-9783031331626-9th-international-conference-abz-2023-nancy-france-may-30-june-2-2023-proceedings-uwe-gl-sser","provider":"Bookshop","version":"1.0","type":"link"}