Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30?June 2, 2023, Proceedings (Lecture Notes in Computer Science)
ISBN 10: 3031331621 ISBN 13: 9783031331626
Editore: Springer, 2023
Nuovi
Brossura
Da
Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 22 novembre 2018
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
pp. 396. Codice articolo 26398551427
Riassunto:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Rigorous State-Based Methods: 9th ...
Casa editrice: Springer
Data di pubblicazione: 2023
Legatura: Brossura
Condizione: New