Computer-Aided Reasoning: ACL2 Case Studies

2014-01-08 分类：计算机与技术

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

电子书代发PDF格式价格10元我要求助