Placeholder text

Go to cart

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 4966, Band 4966)

By Bernhard Beckert

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 4966, Band 4966) Computer Science

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer ... Notes in Computer Science, 4966, Band 4966)

0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
208
Release Date:
2008-04-28
Publication Date:
2008-04-28
Publisher:
Springer
Languages:
Published: English, Original: English
ISBN10:
354079123X
GPSR Manufacturer Reference:
[email protected]
Weight:
318 g
Buy on Amazon
Currently sold out