Native American Heritage Month

Computer-Aided Reasoning > Editions

by Matt Kaufmann First published June 30th 2000

Sort by
Format
Language
Editions
Showing 1-4 of 4
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
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)
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 Reasoning: ACL2 Case Studies
Computer-Aided Reasoning: ACL2 Case Studies (Paperback)
Published January 3rd 2008 by null
Third Edition, Paperback, 285 pages
Author(s):
ASIN:
B0099DRBQA
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 Reasoning Two Volume Set
Computer Aided Reasoning Two Volume Set (Paperback)
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)
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 Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
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)
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