Computer-Aided Reasoning > Editions

by Matt Kaufmann First published June 30th 2000

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
Published December 8th 2010 by Springer
Softcover reprint of the original 1st ed. 2000, Paperback, 352 pages
Author(s):
ISBN:
9781441949813 (ISBN10: 144194981X)
ASIN:
144194981X
Edition language:
English
Average rating:
4.00 (1 rating)
Rate this book
Clear rating
Computer-Aided Reasoning: ACL2 Case Studies
Published January 3rd 2008 by null
Third Edition, Paperback, 285 pages
Author(s):
ASIN:
B0099DRBQA
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Computer Aided Reasoning Two Volume Set
Published June 30th 2000 by Springer
2000, Paperback, 648 pages
Author(s):
ISBN:
9780792378808 (ISBN10: 0792378806)
ASIN:
0792378806
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Published June 30th 2000 by Springer
2000, Hardcover, 352 pages
Author(s):
ISBN:
9780792378495 (ISBN10: 0792378490)
ASIN:
0792378490
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page