Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings / edited by Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 14759Verlag: Cham : Springer Nature Switzerland, 2024Verlag: Cham : Imprint: Springer, 2024Auflage: 1st ed. 2024Beschreibung: 1 Online-Ressource(XV, 398 p. 137 illus., 101 illus. in color.)ISBN:- 9783031637902
- 5,131 23
- 005.131 23
Dieser Titel hat keine Exemplare