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 Ph D symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
€83.57
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format EPUB ● ISBN 9783031331633 ● Redaktor Jose Creissac Campos & Uwe Glasser ● Wydawca Springer Nature Switzerland ● Opublikowany 2023 ● Do pobrania 3 czasy ● Waluta EUR ● ID 9043964 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM
Więcej książek elektronicznych tego samego autora (ów) / Redaktor
16 593 Ebooki w tej kategorii
