Edition
ISBN:
1441920145 /
ISBN-13:
9781441920140
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
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
$195.14
Add to Basket
Add this copy of Adapting Proofs-As-Programs: The Curry--Howard Protocol to cart. $195.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.89
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 ▴
Paperback,
New
Adapting Proofs-as-Programs
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Basi6 International
BEST
Irving,
TX,
USA
$133.71
$199.00
Add to Basket
Add this copy of Adapting Proofs-as-Programs to cart. $133.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.89
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
$168.69
$199.00
Add to Basket
Add this copy of Adapting Proofs-As-Programs: The Curry--Howard Protocol to cart. $168.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.89
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
2010, Springer
ISBN-13:
9781441920140
See Item Details ▾
Educational Media Centre
HIGH
New Delhi,
DELHI,
INDIA
$121.45
$199.00
Add to Basket
Add this copy of Adapting Proofs-as-Programs to cart. $121.45, 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.89
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 Basket
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.89
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New.
Hide Details ▴
