logo

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Rigorous Statebased Methods 8th International Conference Abz 2021 Ulm Germany June 911 2021 Proceedings 1st Edition Alexander Raschke Dominique Mry

  • SKU: BELL-34282648
Rigorous Statebased Methods 8th International Conference Abz 2021 Ulm Germany June 911 2021 Proceedings 1st Edition Alexander Raschke Dominique Mry
$ 31.00 $ 45.00 (-31%)

4.1

30 reviews

Rigorous Statebased Methods 8th International Conference Abz 2021 Ulm Germany June 911 2021 Proceedings 1st Edition Alexander Raschke Dominique Mry instant download after payment.

Publisher: Springer
File Extension: PDF
File size: 8.56 MB
Pages: 177
Author: Alexander Raschke; Dominique Méry
ISBN: 9783030775421, 3030775429
Language: English
Year: 2021
Edition: 1

Product desciption

Rigorous Statebased Methods 8th International Conference Abz 2021 Ulm Germany June 911 2021 Proceedings 1st Edition Alexander Raschke Dominique Mry by Alexander Raschke; Dominique Méry 9783030775421, 3030775429 instant download after payment.

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.

Related Products