Price from
62.70 USD
62.70 USD
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, Volume 4)
Stores where to buy this product
Sponsored This site contains affiliate links for which we may receive compensation. More information
Textbooks.com
| This product in Comparor | |
|---|---|
|
Category
This product is cataloged in our store in these categories
|
- Hardware books and handheld devices - Languages - Computer Aided Design |
|
International
Find this product in one of our international stores
|
This product has not been found in other countries
|
| Colors
Predominant colors of the product |
|
| Identifiers | |
| Brand |  |
| ISBN | Springer US 0792378490 |
| MPN | Springer US 6569133 |
| ID | 41072105 |
| Dimensions / Weight | |
| Key Features | |
Related articles
McGraw-Hill Education (9780071700269) | Computer Aided Three-Dimensional
