Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Authors: Matt Kaufmann – Panagiotis Manolios – J Strother Moore
ISBN-10: 1461370035
ISBN-13: 9781461370031
Edition: Softcover reprint of the original 1st ed. 2000
Release: October 12, 2012
Paperback: 270 pages
List Price $329.00
未经允许不得转载：电子书百科大全 » Computer-Aided Reasoning: An Approach