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

by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, et al.

Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0792377443
• ISBN13: 9780792377443
• Release Date: July 2000
• Publisher: Springer
• Length: 270 Pages
• Weight: 1.35 lbs.
• Dimensions: 9.2" x 0.7" x 6.1"