Computer-Aided Reasoning: An Approach

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

Computer-Aided Reasoning: An Approach (Advances in Formal Methods)

by: Matt Kaufmann – Panagiotis Manolios – J Strother Moore

ISBN-10: 1461370035

ISBN-13: 9781461370031

Edition: Softcover reprint of the original 1st ed. 2000

Publication date: October 12, 2012

Paperback: 270 pages
List Price $329.00

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