Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Paperback, 1st ed. 2021)

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 12709
Release date:	May 2021
First published:	2021
Editors:	Alexander Raschke • Dominique Mery
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	167
Edition:	1st ed. 2021
ISBN-13:	978-3-03-077542-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Databases > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-03-077542-9
Barcode:	9783030775421

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!