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

Treffer: Model Checking Software

Titel:
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Beteiligt:
Biondi, Fabrizio (Herausgeber); Given-Wilson, Thomas (Herausgeber); Legay, Axel (Herausgeber)
Ausgabe:
1st ed. 2019
Veröffent­licht:
Cham : Springer International Publishing, 2019
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 261 Seiten) : 605 illus., 41 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 11636
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Model Checking Software. - Cham : Springer International Publishing, 2019. - ISBN 9783030309220
ISBN:
9783030309237 ; 3030309231 ; 978--303030922-0 (Sekundärausgabe) ; 978--303030924-4 (Sekundärausgabe)
DOI:
10.1007/978-3-030-30923-7

Zusatz-Informationen

Zusatz-Funktionen