Produktbild
Bernhard (Hrsg.) Beckert

Tests and Proofs

Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Ebook (PDF Format)

This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areasfor the advancement of softwarequality. To provethe correctnessof a programis to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a programis to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless… Mehr

CHF 77.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Hähnle, Reiner (Hrsg.)
  • ISBN: 978-3-540-79124-9
  • EAN: 9783540791249
  • Produktnummer: 33303060
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2008
  • Seitenangabe: 193 S.
  • Plattform: PDF
  • Masse: 3'273 KB
  • Auflage: 2008
  • Abbildungen: Bibliographie

19 weitere Werke von Bernhard (Hrsg.) Beckert:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.