Rendered at 06:55:26 01/05/25
Full-size item image
Primary image for Interactive Theorem Proving 9th International Conference Itp 2018
Item image 1
Item image 2
Item image 3

Interactive Theorem Proving 9th International Conference Itp 2018

$34.99

Don't miss out on this item!

There is only 1 left in stock.

Shipping options

Estimated to arrive by Wed, Jan 15th. Details
$5.00 via USPS Media Mail (2 to 9 business days) to United States

Offer policy

OBO - Seller accepts offers on this item. Details

Return policy

None: All purchases final

Purchase protection

Payment options

PayPal accepted
PayPal Credit accepted
Venmo accepted
PayPal, MasterCard, Visa, Discover, and American Express accepted
Maestro accepted
Amazon Pay accepted

Shipping options

Estimated to arrive by Wed, Jan 15th. Details
$5.00 via USPS Media Mail (2 to 9 business days) to United States

Offer policy

OBO - Seller accepts offers on this item. Details

Return policy

None: All purchases final

Purchase protection

Payment options

PayPal accepted
PayPal Credit accepted
Venmo accepted
PayPal, MasterCard, Visa, Discover, and American Express accepted
Maestro accepted
Amazon Pay accepted

Item traits

Category:

Adult Learning & University

Quantity Available:

Only one in stock, order soon

Condition:

Like New

ISBN:

9783319948201

Format:

Trade Paperback

Type:

Textbook

Special Attributes:

International Edition

Language:

English

Publication Year:

2018

Personalized:

Yes No

Series:

Lecture Notes in Computer Science Ser.

Author:

Assia Mahboubi

Item Length:

9.3in.

Publisher:

Springer International Publishing A&G

Item Width:

6.1in.

Item Weight:

35.4 Oz

Number of Pages:

Xvii, 642 Pages

Listing details

Seller policies:

View seller policies

Shipping discount:

No combined shipping offered

Posted for sale:

More than a week ago

Item number:

1402130061

Item description