Hispanic Heritage Month 2026

Computer Aided Verification > Editions

by Aarti Gupta First published 2008

Sort by
Format
Language
Editions
Showing 1-4 of 4
Computer Aided Verification
Computer Aided Verification (Paperback)
Published April 16th 2009 by Springer
Paperback, 580 pages
Author(s):
ISBN:
9783540866497 (ISBN10: 3540866493)
ASIN:
3540866493
Edition language:
English
Average rating:
4.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Computer Aided Verification
Computer Aided Verification (Unknown Binding)
Published June 17th 2008 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Unknown Binding, 558 pages
Author(s):
ISBN:
9783540705437 (ISBN10: 3540705430)
ASIN:
B01AP88XL4
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
[(Computer Aided Verification )] [Author: Ganesh C. Gopalakrishnan] [Jan-2012]
[(Computer Aided Verification )] [Author: Ganesh C. Gopalakrishnan] [Jan-2012]
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Unknown Binding, 0 pages
Author(s):
ASIN:
B010BD4SEO
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science, 5123)
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science, 5123)
Published June 17th 2008 by Springer
2008, 2008 ed., Paperback, 575 pages
Author(s):
ASIN:
3540705430
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page