Books
ISBN: 9781441920140
Edition
ISBN:
1441920145 /
ISBN-13:
9781441920140
Book Details
Seller
Sort
Seller Rating
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Paperback,
New
Adapting Proofs-as-Programs
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Educational Media Centre
HIGH
New Delhi,
DELHI,
INDIA
$119.52
$199.00
Add to Cart
Add this copy of Adapting Proofs-as-Programs to cart. $119.52, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2010 by Springer.
Edition: 2010, Springer
Paperback,
New
Available Copies: 10
Details: ISBN:
1441920145
ISBN-13:
9781441920140
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
18979774419
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New.
Hide Details ▴
Paperback,
New
Adapting Proofs-as-Programs
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Educational Media Centre
HIGH
New Delhi,
DELHI,
INDIA
$121.73
$199.00
Add to Cart
Add this copy of Adapting Proofs-as-Programs to cart. $121.73, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2010 by Springer.
Edition: 2010, Springer
Paperback,
New
Details: ISBN:
1441920145
ISBN-13:
9781441920140
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
18965413060
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New.
Hide Details ▴
Paperback,
New
Adapting Proofs-as-Programs
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Basi6 International
BEST
Irving,
TX,
USA
$126.71
$199.00
Add to Cart
Add this copy of Adapting Proofs-as-Programs to cart. $126.71, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2010 by Springer.
Edition: 2010, Springer
Paperback,
New
Available Copies: 10
Details: ISBN:
1441920145
ISBN-13:
9781441920140
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
18976469452
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New, US edition. Satisfaction guaranteed! !
Hide Details ▴
Paperback,
New
Adapting Proofs-As-Programs: The Curry--Howard Protocol
by Poernomo, Iman, and Crossley, John N, and Wirsing, Martin
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Alibris
BEST
NV, USA
$159.69
$199.00
Add to Cart
Add this copy of Adapting Proofs-As-Programs: The Curry--Howard Protocol to cart. $159.69, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.
Edition: 2010, Springer
Paperback,
New
Available Copies: 10+
Details: ISBN:
1441920145
ISBN-13:
9781441920140
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
12184435167
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 420 p. Contains: Illustrations, black & white. Monographs in Computer Science.
Hide Details ▴
Paperback,
New
Adapting Proofs-As-Programs: The Curry--Howard Protocol
by Poernomo, Iman, and Crossley, John N, and Wirsing, Martin
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Ria Christie Books
BEST
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$205.14
Add to Cart
Add this copy of Adapting Proofs-As-Programs: The Curry--Howard Protocol to cart. $205.14, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2010 by Springer.
Edition: 2010, Springer
Paperback,
New
Available Copies: 10+
Details: ISBN:
1441920145
ISBN-13:
9781441920140
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
18938452488
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 420 p. Contains: Illustrations, black & white. Monographs in Computer Science.
Hide Details ▴
