Tests and Proofs / Lecture Notes in Computer Science Bd.9154 (PDF)
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented...
sofort als Download lieferbar
Printausgabe 52.80 €
eBook (pdf) -2%
51.69 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Tests and Proofs / Lecture Notes in Computer Science Bd.9154 (PDF)“
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
Bibliographische Angaben
- 2015, 1st ed. 2015, 209 Seiten, Englisch
- Herausgegeben: Jasmin Christian Blanchette, Nikolai Kosmatov
- Verlag: Springer-Verlag GmbH
- ISBN-10: 331921215X
- ISBN-13: 9783319212159
- Erscheinungsdatum: 16.07.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 6.10 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Tests and Proofs / Lecture Notes in Computer Science Bd.9154"
Schreiben Sie einen Kommentar zu "Tests and Proofs / Lecture Notes in Computer Science Bd.9154".
Kommentar verfassen