Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)

ISBN-10: 144194981X
ISBN-13: 9781441949813
Edition: Softcover reprint of the original 1st ed. 2000
Publication date: December 9, 2010
Paperback: 337 pages
List Price $379.00
Wow! eBook


