{"product_id":"rigorous-state-based-methods-springer-nature-switzerland-ag-9783030775421-8th-international-conference-abz-2021-ulm-germany-june-9-11-2021-proceedings-alexander-raschke","title":"Rigorous State-Based Methods","description":"\u003cp\u003eDiscover the innovative insights in \u003cstrong\u003eRigorous State-Based Methods\u003c\/strong\u003e by \u003cstrong\u003eAlexander Raschke\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021. This first edition, comprising 167 pages, presents the proceedings of the 8th International Conference on Rigorous State-Based Methods (ABZ 2021), originally scheduled to take place in Ulm, Germany, from June 6-11, 2021.\u003c\/p\u003e \n\n\u003cp\u003eDive into the world of state-based and machine-based formal methods, focusing on essential topics such as Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. This comprehensive collection is perfect for researchers, practitioners, and students interested in advanced formal methods and their applications in system design and verification.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of rigorous methodologies in computer science and explore the latest developments in this crucial field. Order your copy of \u003cstrong\u003eRigorous State-Based Methods\u003c\/strong\u003e today!\u003c\/p\u003e","brand":"Alexander Raschke","offers":[{"title":"Default Title","offer_id":52261685559638,"sku":"9783030775421","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030775421.jpg?v=1767792923","url":"https:\/\/www.englishbook.fi\/products\/rigorous-state-based-methods-springer-nature-switzerland-ag-9783030775421-8th-international-conference-abz-2021-ulm-germany-june-9-11-2021-proceedings-alexander-raschke","provider":"Bookshop","version":"1.0","type":"link"}