Rigorous State-Based Methods :8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science
Rigorous State-Based Methods :8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings - Lecture Notes in Computer Science
paperback
Published:
23 May, 2021
paperback
Published:
23 May, 2021
Standard worldwide delivery by
Thu, July 23 - Tue, July 28
Order within
0
Popular Books by Alexander Raschke
View All Books by Alexander Raschke
Description
This 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.
The 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.
The 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.
More Details
| Type | Book |
|---|---|
| ISBN13 | 9783030775421 |
| ISBN10 | 3030775429 |
| Number Of Pages | 167 |
| Item Weight | 1000 g |
| Publisher / Reseller | Springer Nature Switzerland AG |
| Format | paperback |
| Edition | 1st ed. 2021 |
See More +