Edition
ISBN:
3642228623 /
ISBN-13:
9783642228629
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
Paperback,
New
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
by Van Eekelen, Marko (Editor), and Geuvers, Herman (Editor), and Schmaltz, Julien (Editor)
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13:
9783642228629
See Item Details ▾
ShopSpell
HIGH
Milton Keynes,
,
UNITED KINGDOM
$62.54
$89.99
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Paperback,
New
Available Copies: 5
Details:
ISBN:
3642228623
ISBN-13:
9783642228629
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
17980637730
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XI, 383 p. Intended for professional and scholarly audience.
Hide Details ▴
Paperback,
New
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
by Van Eekelen, Marko (Editor), and Geuvers, Herman (Editor), and Schmaltz, Julien (Editor)
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13:
9783642228629
See Item Details ▾
Alibris
BEST
NV, USA
$60.65
$89.99
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Paperback,
New
Available Copies: 10+
Details:
ISBN:
3642228623
ISBN-13:
9783642228629
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
10962056353
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 383 p. Theoretical Computer Science and General Issues , 6898. XI, 383 p. Intended for professional and scholarly audience.
Hide Details ▴
Paperback,
Good
Interactive Theorem Proving: Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
2011, Springer
ISBN-13:
9783642228629
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$88.67
Edition:
2011, Springer
Paperback,
Good
Details:
ISBN:
3642228623
ISBN-13:
9783642228629
Publisher:
Springer
Published:
2011
Language:
English
Alibris ID:
17576401430
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴