You might also like

More about Tests and Proofs

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality.

Book details

Book category Books in English Computing & information technology Computer networking & communications

• Full title: Tests and Proofs
• Subtitle: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
• Author: Bertrand Meyer, Yuri Gurevich
• Language: English
• Binding: Paperback
• Number of pages: 217
• EAN: 9783540737698
• ISBN: 3540737693
• ID: 01568916
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 362 g
• Dimensions: 235 × 155 × 13 mm
• Date of publishing: 09. August 2007

---

---

---