40% Rabatt auf Sachbücher & Ratgeber – Jetzt Angebot sichern!

Programming and Software Engineering

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Herausgeber: Blanchette, Jasmin Christian, Kosmatov, Nikolai (Eds.)

Vorschau

Dieses Buch kaufen

eBook 39,58 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-21215-9
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 51,36 €
Preis für Deutschland (Brutto)
Über dieses Buch

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.

Inhaltsverzeichnis (12 Kapitel)

Inhaltsverzeichnis (12 Kapitel)

Dieses Buch kaufen

eBook 39,58 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-21215-9
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 51,36 €
Preis für Deutschland (Brutto)
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Tests and Proofs
Buchuntertitel
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Herausgeber
  • Jasmin Christian Blanchette
  • Nikolai Kosmatov
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
9154
Copyright
2015
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing Switzerland
eBook ISBN
978-3-319-21215-9
DOI
10.1007/978-3-319-21215-9
Softcover ISBN
978-3-319-21214-2
Auflage
1
Seitenzahl
XIX, 209
Anzahl der Bilder
57 schwarz-weiß Abbildungen
Themen