Treffer: Runtime Verification
Titel:
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / edited by Martin Leucker
Beteiligt:
Ausgabe:
1st ed. 2008
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VII, 189 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5289
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540892465
Schlagworte:
ISBN:
9783540892472 ; 3540892478 ; 978--354089246-5 (Sekundärausgabe) ; 978--354089314-1 (Sekundärausgabe)
DOI:
10.1007/978-3-540-89247-2