Willkommen, schön sind Sie da!
Logo Ex Libris

Tests and Proofs

  • Kartonierter Einband
  • 177 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, C... Weiterlesen
20%
72.00 CHF 57.60
Sie sparen CHF 14.40
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

Up to date results

State of the art research

Fast track conference proceedings

Produktinformationen

Titel: Tests and Proofs
Untertitel: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Editor:
EAN: 9783642304729
ISBN: 3642304729
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Veröffentlichung: 01.11.2012
Anzahl Seiten: 177
Gewicht: 295g
Größe: H235mm x B155mm x T10mm
Jahr: 2012
Untertitel: Englisch
Auflage: 2012

Weitere Produkte aus der Reihe "Programming and Software Engineering"