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元立即求助

1111

 打赏