• Rigorous State-Based Methods
  • Bestand

Treffer: Rigorous State-Based Methods

Titel:
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
Beteiligt:
Bonfanti, Silvia (Herausgeber); Gargantini, Angelo (Herausgeber); Leuschel, Michael (Herausgeber); Riccobene, Elvinia (Herausgeber); Scandurra, Patrizia (Herausgeber)
Ausgabe:
1st ed. 2024
Veröffent­licht:
Cham : Springer Nature Switzerland, 2024
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XV, 398 Seiten) : 137 illus., 101 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14759
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Rigorous State-Based Methods. - Cham : Springer Nature Switzerland, 2024. - ISBN 9783031637896
ISBN:
9783031637902 ; 3031637909 ; 978--303163789-6 (Sekundärausgabe) ; 978--303163791-9 (Sekundärausgabe)
DOI:
10.1007/978-3-031-63790-2

Zusatz-Informationen

Zusatz-Funktionen