• Runtime Verification
  • Bestand

Treffer: Runtime Verification

Titel:
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran
Verantwortlich:
Qadeer, Shaz (Herausgeber); Tasiran, Serdar (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XII, 322 Seiten) : 93 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7687
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642356315
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642356322 ; 364235632X ; 978--364235631-5 (Sekundärausgabe) ; 978--364235633-9 (Sekundärausgabe)
DOI:
10.1007/978-3-642-35632-2

Zusatz-Informationen

Zusatz-Funktionen