Formal Approaches to Software Testing and Runtime Verification / Lecture Notes in Computer Science Bd.4262 (PDF)
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.
- 2006, 2006, 255 Seiten, Englisch
- Herausgegeben: Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
- Verlag: Springer-Verlag GmbH
- ISBN-10: 354049703X
- ISBN-13: 9783540497035
- Erscheinungsdatum: 23.11.2006
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 3.12 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Formal Approaches to Software Testing and Runtime Verification / Lecture Notes in Computer Science Bd.4262".
Kommentar verfassen