Edition
ISBN:
0792378490 /
ISBN-13:
9780792378495
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Hardcover,
New
Computer-Aided Reasoning
2000, Springer
ISBN-13:
9780792378495
See Item Details ▾
Ria Christie Books
BEST
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$239.08
$349.99
Add to Basket
Add this copy of Computer-Aided Reasoning to cart. $239.08, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2000 by Springer.
Edition: 2000, Springer
Hardcover,
New
Available Copies: 10+
Details: ISBN:
0792378490
ISBN-13:
9780792378495
Edition:
2000 edition
Publisher:
Springer
Published:
2000
Language:
English
Alibris ID:
18266001295
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
Hardcover,
New
Computer-Aided Reasoning: Acl2 Case Studies
by Kaufmann, Matt (Editor), and Manolios, Panagiotis (Editor), and Moore, J Strother (Editor)
2000, Springer
ISBN-13:
9780792378495
See Item Details ▾
Alibris
BEST
NV, USA
$215.66
$349.99
Add to Basket
Add this copy of Computer-Aided Reasoning: Acl2 Case Studies to cart. $215.66, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2000 by Springer.
Edition: 2000, Springer
Hardcover,
New
Available Copies: 10+
Details: ISBN:
0792378490
ISBN-13:
9780792378495
Edition:
2000 edition
Publisher:
Springer
Published:
2000
Language:
English
Alibris ID:
10104430196
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. Cloth over boards. 337 p. Advances in Formal Methods, 4.
Hide Details ▴
