Loot.co.za: Shop online in South Africa for Books, DVDs, CDs, games, electronics, computers, office, stationery, toys, and much more

Showing 1 - 1 of 1 matches in All Departments

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30â€“June 2, 2023, Proceedings (1st ed. 2023)

Uwe GlÃ¤sser, Jose Croissac Campos, Dominique MÃ©ry, Philippe Palanque

R1,820 Discovery Miles 18 200

Add to cart

Ships in 10 - 15 working days

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.Â