Abstract State Machines, Alloy, B, TLA, VDM, and Z
CHF 81.55
Auf Lager
SKU
9I9SJTO804I
1 Verfügbar 
Kostenloser Versand
Geliefert zwischen Mi., 05.11.2025 und Do., 06.11.2025
Details
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.
The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Inhalt
****
Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.-
Refinement.- Hybrid ERTMS Case Study.- Short Papers.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09783319912707
- Editor Michael Butler, Klaus Reichl, Thai Son Hoang, Alexander Raschke
- Sprache Englisch
- Auflage 1st edition 2018
- Größe H235mm x B155mm x T25mm
- Jahr 2018
- EAN 9783319912707
- Format Kartonierter Einband
- ISBN 3319912704
- Veröffentlichung 08.05.2018
- Titel Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Untertitel 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
- Gewicht 674g
- Herausgeber Springer International Publishing
- Anzahl Seiten 448
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
