Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Volume 4966)

Authors: Beckert, Bernhard, Hähnle, Reiner

Ask AI a Question

Brand: Springer

ASIN: 354079123X (CA)

43.58 CAD In Stock

Category: N/A (Slug: subjects/computers-technology/history-culture)

Ask a Question about "Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Volume 4966)"

0 / 300