Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Model Checking Software
  • Inhaltsangabe

Treffer: Model Checking Software

Titel:
Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling
Beteiligt:
Caltais, Georgiana (Herausgeber); Schilling, Christian (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 199 Seiten) : 50 illus., 24 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13872
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Model Checking Software. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031321566
ISBN:
9783031321573 ; 303132157X ; 978--303132156-6 (Sekundärausgabe) ; 978--303132158-0 (Sekundärausgabe)
DOI:
10.1007/978-3-031-32157-3

Zusatz-Informationen

Zusatz-Funktionen