Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings |
|
| Editor:
| Beckert, Bernhard
Hähnle, Reiner |
| Series title: | Lecture Notes in Computer Science / Programming and Software Engineering Ser. |
| ISBN: | 978-3-540-79123-2 |
| Publication Date: | Mar 2008 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $146.95 |
Book Description:
|
This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.
This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.