Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Full Title: | Computer-Aided Reasoning: An Approach (Advances in Formal Methods) |
---|---|
ISBN: | 0792377443 |
ISBN13: | 9780792377443 |
List Price: | USD $219.34 |
Authors: |
Panagiotis Manolios,J. Strother Moore,Matt Kaufmann |
Related ISBNs