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

Treffer: Runtime Verification

Titel:
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez
Beteiligt:
Falcone, Yliès (Herausgeber); Sánchez, César (Herausgeber)
Ausgabe:
1st ed. 2016
Veröffent­licht:
Cham : Springer International Publishing, 2016
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXI, 512 Seiten) : 111 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 10012
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2016. - ISBN 9783319469812
ISBN:
9783319469829 ; 3319469827 ; 978--331946981-2 (Sekundärausgabe) ; 978--331946983-6 (Sekundärausgabe)
DOI:
10.1007/978-3-319-46982-9

Zusatz-Informationen

Zusatz-Funktionen