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

Treffer: Runtime Verification

Titel:
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger
Beteiligt:
Lahiri, Shuvendu (Herausgeber); Reger, Giles (Herausgeber)
Ausgabe:
1st ed. 2017
Veröffent­licht:
Cham : Springer International Publishing, 2017
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIX, 432 Seiten) : 147 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 10548
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2017. - ISBN 9783319675305
ISBN:
9783319675312 ; 3319675311 ; 978--331967530-5 (Sekundärausgabe) ; 978--331967532-9 (Sekundärausgabe)
DOI:
10.1007/978-3-319-67531-2

Zusatz-Informationen

Zusatz-Funktionen