Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404, Band 2404)

Name: Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404, Band 2404)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Larsen, Kim G.

0 - Default Title

Product details

Binding:: Paperback
Edition:: 1
Number of Pages:: 656
Release Date:: 2008-06-13
Publication Date:: 2008-06-13
Publisher:: Springer
Languages:: Published: English, Original: English
ISBN10:: 3540439978
GPSR Manufacturer Reference:: [email protected]
Weight:: 953 g

Buy on Amazon

Currently sold out