Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by ReinerHähnle (Editor), Bernhard Beckert (Editor)

New
Paperback
2008
$71.16

This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

Synopsis

This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

$71.16

Quantity

10 in stock

More Information

Format: Paperback
Pages: 193
Edition: illustrated edition
Publisher: Springer
Published: 31 Mar 2008
ISBN 10: 354079123X
ISBN 13: 9783540791232

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

New

$71.16

Synopsis

$71.16

More Information