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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 14759Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XV, 398 p. 137 illus., 101 illus. in color.)ISBN:- 9783031637902
- 5,131 23
- 005.131 23
No physical items for this record