Advances in Formal Methods Computer-Aided Reasoning: Acl2 Case Studies, Book 4, (Hardcover)

Name: Advances in Formal Methods Computer-Aided Reasoning: Acl2 Case Studies, Book 4, (Hardcover)
Brand: Matt Kaufmann
SKU: prod_1853a7fea565217dea1fbb96
Price: 337.00 USD
Availability: InStock

Advances in Formal Methods Computer-Aided Reasoning: Acl2 Case Studies, Book 4, (Hardcover) Author: Springer ISBN: 9780792378495 Format: Hardcover Publication Date: 2000-06-30 Page Count: 337

Shipping & Returns

Price unavailable

Advances in Formal Methods Computer-Aided Reasoning: Acl2 Case Studies, Book 4, (Hardcover)—

$337.00

Price unavailable

Advances in Formal Methods Computer-Aided Reasoning: Acl2 Case Studies, Book 4, (Hardcover)—

$337.00