Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers - Programming and Software Engineering 4454 (Paperback)Bertrand Meyer (volume editor), Yuri Gurevich (volume editor)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 217
Weight: 361 g
Dimensions: 235 x 155 x 12 mm
You may also be interested in...
Please sign in to write a review