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

Treffer: Runtime Verification

Titel:
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker
Beteiligt:
Colombo, Christian (Herausgeber); Leucker, Martin (Herausgeber)
Ausgabe:
1st ed. 2018
Veröffent­licht:
Cham : Springer International Publishing, 2018
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 470 Seiten) : 113 illus., 42 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 11237
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2018. - ISBN 9783030037680
ISBN:
9783030037697 ; 303003769X ; 978--303003768-0 (Sekundärausgabe) ; 978--303003770-3 (Sekundärausgabe)
DOI:
10.1007/978-3-030-03769-7

Zusatz-Informationen

Zusatz-Funktionen