Tests and Proofs / Lecture Notes in Computer Science Bd.6706 (PDF)
The 12 revised full papers presented together with 2 invited papers were carefully...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.
The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning based testing, UML, OCL, specification-based testing, and network testing.
- 2011, 2011, 205 Seiten, Englisch
- Herausgegeben: Martin Gogolla, Burkhart Wolff
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642217680
- ISBN-13: 9783642217685
- Erscheinungsdatum: 28.06.2011
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 4.12 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Tests and Proofs / Lecture Notes in Computer Science Bd.6706".
Kommentar verfassen