电子书百科大全 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
Release: December 9, 2010
Paperback: 337 pages
List Price $379.00
未经允许不得转载：电子书百科大全 » Computer-Aided Reasoning: ACL2 Case Studies