Treffer: Formal Approaches to Software Testing and Runtime Verification

Titel:
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Beteiligt:
Havelund, Klaus (Herausgeber); Núnez, Manuel (Herausgeber); Rosu, Grigore (Herausgeber); Wolff, Burkhart (Herausgeber)
Ausgabe:
1st ed. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 255 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4262
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Approaches to Software Testing and Runtime Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540496991
Schlagworte:
ISBN:
9783540497035 ; 354049703X ; --354049699-8 ; --354083331-5 ; 978--354049699-1 (Sekundärausgabe) ; 978--354083331-4 (Sekundärausgabe)
DOI:
10.1007/11940197

Zusatz-Informationen

Zusatz-Funktionen