{"product_id":"palanque-philippe-rigorous-state-based-methods-9783031331626","title":"Rigorous State-Based Methods","description":"This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54702395392342,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031331626_1.jpg?v=1791090507","url":"https:\/\/www.momoxbooks.com\/products\/palanque-philippe-rigorous-state-based-methods-9783031331626","provider":"momox","version":"1.0","type":"link"}