{"product_id":"rigorous-state-based-methods-8th-international-conference-abz-2021-ulm-germany-june-9-11-2021-proceedings-9783030775421","title":"Rigorous State-Based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings","description":"\u003cp\u003e • Author(s): Alexander Raschke\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. \u003cbr\u003eThe 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 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":"Springer","offers":[{"title":"Paperback","offer_id":45280642302103,"sku":"9783030775421","price":4407.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030775421.webp?v=1769296896","url":"https:\/\/atlanticbooks.com\/products\/rigorous-state-based-methods-8th-international-conference-abz-2021-ulm-germany-june-9-11-2021-proceedings-9783030775421","provider":"Atlantic Books","version":"1.0","type":"link"}