Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Heftet /
2021
/ Engelsk
Product details
ISBN
9783030775421
Published
2021-05-23
Publisher
Springer Nature Switzerland AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
10
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.
Read more
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. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Read more
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Read more
Product details
ISBN
9783030775421
Published
2021-05-23
Publisher
Springer Nature Switzerland AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
10