{"product_id":"rigorous-statebased-methods-9th-international-conference-abz-2023-nancy-france-may-30june-2-2023-proceedings-9783031331626","title":"Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e The 9th International Conference on Rigorous State-Based Methods, ABZ 2023, was held in Nancy, France, in May 2023, and the proceedings include 12 full and 7 short papers and 4 PhD symposium contributions on state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 380 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 15 May 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e The 9th International Conference on Rigorous State-Based Methods, ABZ 2023, was held in Nancy, France, in May 2023, and the proceedings of the conference are presented in this book. The conference received 47 submissions, and 12 full and 7 short papers were selected for inclusion. Additionally, the proceedings include 4 PhD symposium contributions. The papers cover various topics related to state-based and machine-based formal methods, with a focus on Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031331626\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":45811811942650,"sku":"9783031331626","price":55.5,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1714153749400_book.jpg?v=1714333283","url":"https:\/\/shulphink.com\/products\/rigorous-statebased-methods-9th-international-conference-abz-2023-nancy-france-may-30june-2-2023-proceedings-9783031331626","provider":"Shulph Ink","version":"1.0","type":"link"}