Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (1st ed. 2023) (Lecture Notes in Computer Science #14010)
By: and and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2023
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031331633
- Related ISBNs:
- 9783031331626
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 06/10/23
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Uwe Glässer
- Edited by:
- Jose Creissac Campos
- Edited by:
- Dominique Méry
- Edited by:
- Philippe Palanque
Reviews
Other Books
- by Uwe Glässer
- by Jose Creissac Campos
- by Dominique Méry
- by Philippe Palanque
- in Nonfiction
- in Mathematics and Statistics
- in Philosophy