Umfassende Service-Einschränkungen ab 18. März
  • Runtime Verification
  • Bestand

Treffer: Runtime Verification

Titel:
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / edited by Bernd Finkbeiner, Leonardo Mariani
Beteiligt:
Finkbeiner, Bernd (Herausgeber); Mariani, Leonardo (Herausgeber)
Ausgabe:
1st ed. 2019
Veröffent­licht:
Cham : Springer International Publishing, 2019
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 413 Seiten) : 377 illus., 58 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 11757
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2019. - ISBN 9783030320782
ISBN:
9783030320799 ; 3030320790 ; 978--303032078-2 (Sekundärausgabe) ; 978--303032080-5 (Sekundärausgabe)
DOI:
10.1007/978-3-030-32079-9

Zusatz-Informationen

Zusatz-Funktionen