Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings (Paperback) (ISBN-13: 9783642313646)
Vendor:
Bernhard Gramlich
Product type:
Books
- $54.99
$54.99- $54.99
- Unit price
- per
Subtotal:
$54.99
Description
xAuthor: Bernhard Gramlich
ISBN-10: 3642313647
ISBN-13: 9783642313646
Publisher: Springer
Language: English
Published: 06/20/2012
Pages: 568
Format: Paperback
Weight: 1.90lbs
Size: 9.20h x 6.10w x 1.30d
Recently Viewed Products
- Choosing a selection results in a full page refresh.