Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.14010 (PDF)
9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.
The 12 full and 7 short papers included in this volume were carefully reviewed and selected...
The 12 full and 7 short papers included in this volume were carefully reviewed and selected...
sofort als Download lieferbar
eBook (pdf)
80.24 €
40 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.14010 (PDF)“
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.
The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 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
- 2023, 1st ed. 2023, 380 Seiten, Englisch
- Herausgegeben: Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
- Verlag: Springer International Publishing
- ISBN-10: 303133163X
- ISBN-13: 9783031331633
- Erscheinungsdatum: 14.05.2023
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 22 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.14010"
0 Gebrauchte Artikel zu „Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.14010“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Rigorous State-Based Methods / Lecture Notes in Computer Science Bd.14010".
Kommentar verfassen