.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Description for Tests and Proofs
Paperback. This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008. Series: Lecture Notes in Computer Science. Num Pages: 203 pages, biography. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 326.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
203
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
193
Place of Publication
Berlin, Germany
ISBN
9783540791232
SKU
V9783540791232
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Tests and Proofs