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

Treffer: Model Checking Software

Titel:
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / edited by María del Mar Gallardo, Pedro Merino
Beteiligt:
Gallardo, María del Mar (Herausgeber); Merino, Pedro (Herausgeber)
Ausgabe:
1st ed. 2018
Veröffent­licht:
Cham : Springer International Publishing, 2018
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 347 Seiten) : 78 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 10869
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Model Checking Software. - Cham : Springer International Publishing, 2018. - ISBN 9783319941103
ISBN:
9783319941110 ; 3319941119 ; 978--331994110-3 (Sekundärausgabe) ; 978--331994112-7 (Sekundärausgabe)
DOI:
10.1007/978-3-319-94111-0

Zusatz-Informationen

Zusatz-Funktionen