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

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

Advances in Formal Methods Computer-Aided Reasoning: Acl2 Case Studies, Book 4, (Paperback) Author: Springer ISBN: 9781441949813 Format: Paperback Publication Date: 2010-12-08 Page Count: 337

Shipping & Returns

Price unavailable

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

$347.00

Price unavailable

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

$347.00