Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.12709 (PDF)
8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
64.19 €
32 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.12709 (PDF)“
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.
Bibliographische Angaben
- 2021, 1st ed. 2021, 167 Seiten, Englisch
- Herausgegeben: Alexander Raschke, Dominique Méry
- Verlag: Springer International Publishing
- ISBN-10: 3030775437
- ISBN-13: 9783030775438
- Erscheinungsdatum: 22.05.2021
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 8.09 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.12709"
0 Gebrauchte Artikel zu „Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.12709“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.12709".
Kommentar verfassen