Try our new mobile site
Best Book Buys
Welcome Books Music Video Electronics Bikes
Follow BestBookBuys on Twitter   Share
HomeBrowseBookstoresBestsellersHot DealsBook ClubsTextbooks Wish ListMy AccountHelp
  Search:    
 
 
Interactive Theorem Proving And Program Development: Coq'art The Calculus Of Inductive Constructions: Yves Bertot

Interactive Theorem Proving And Program Development: Coq'art The Calculus Of Inductive Constructions


Authors: Yves Bertot, Gerard Huet (Foreword by), Pierre CastTran, Christine Paulin-Mohring (Foreword by)
Format: Hardcover, 468 pages
Publication Date: June 2004
Publisher: Springer-Verlag New York Inc
Dimensions: 9.25"H x 6.25"W x 1"D; 1.9 lbs.
ISBN-10: 3540208542
ISBN-13: 9783540208549
List Price: $79.95

 
 
 

Add to List
    This book is part of the Texts in Theoretical Computer Science series.

  Short link to this page: http://www.bestwebbuys.com/9783540208549
 
 
Rent this book:  This book is also available for rental. Look for (Rental) in the Item Price column.
 
(Click on a column name to sort by that column.)
Zip Code: None set. - click here to set it -
(we use your zip code to calculate sales tax and shipping.)
  Bookstore Store Rating Availability Item Price Sales Tax
Shipping
Carrier (Days) Est.Cost
Total Cost
 RENT  Chegg -N/A- (rate store)
Available $46.74
(Summer)
(Rental)
CA
Standard (7-14) $1.99
$48.73
(Summer)
(Rental)
 RENT  Chegg -N/A- (rate store)
Available $50.87
(Quarter)
(Rental)
CA
Standard (7-14) $1.99
$52.86
(Quarter)
(Rental)
 RENT  Chegg -N/A- (rate store)
Available $55.99
(Semester)
(Rental)
CA
Standard (7-14) $1.99
$57.98
(Semester)
(Rental)
 BUY  half.com (3.6)
[85 comments]
In stock, ships in 1-3 days $70.00
(Likenew)
(Marketplace)
- N/A -
USPS (2-9) $3.99
$73.99
(Likenew)
(Marketplace)
 BUY  Abebooks (2.5)
[70 comments]
In Stock $70.85
(Marketplace)
- N/A -
Various (0-0) $3.99
$74.84
(Marketplace)
 BUY  Barnes & Noble BookQuest (3.0)
[14 comments]
Usually ships in 1-2 business days $75.76
(Used)
(Marketplace)
- N/A -
USPS (4-14) $3.49
$79.25
(Used)
(Marketplace)
 BUY  Alibris (2.3)
[45 comments]
Ships in 2-3 days $76.30
(Marketplace)
CA, NC, NV
Standard (4-14) $7.48
(Free shipping on eligible item orders over $49)
$83.78
(Marketplace)
 BUY  TextbookX.com (3.0)
[58 comments]
Usually ships in 1-2 days $80.00
(Used)
(Exchange)
CT
USPS (3-10) $3.96
$83.96
(Used)
(Exchange)
 BUY  Biblio.com -N/A- (rate store)

[1 comment]
In Stock $82.00
(Marketplace)
- N/A -
Ground $3.50
$85.50
(Marketplace)
 BUY  Amazon (3.5)
[103 comments]
Ships within 2 days $83.24
(Used)
(Marketplace)
KS, ND, WA
USPS (4-14) $3.99
$87.23
(Used)
(Marketplace)
 BUY  Alibris (2.3)
[45 comments]
Ships in 2-3 days $80.00
(Used)
(Marketplace)
CA, NC, NV
Standard (4-14) $7.48
(Free shipping on eligible item orders over $49)
$87.48
(Used)
(Marketplace)
 BUY  eBay (2.4)
[9 comments]
Right Now on eBay $84.40
(Used)
(Marketplace)
- N/A -
Varies by seller $3.99
(Shipping varies by seller)
$88.39
(Used)
(Marketplace)
 BUY  Amazon (3.5)
[103 comments]
Ships within 2 days $85.24
(Marketplace)
KS, ND, WA
USPS (4-14) $3.99
$89.23
(Marketplace)
 BUY  Abebooks (2.5)
[70 comments]
In Stock $91.11
(Used)
(Marketplace)
- N/A -
Various (0-0) $3.95
$95.06
(Used)
(Marketplace)
 BUY  Barnes & Noble.com (2.7)
[92 comments]
Usually ships within 24 hours $98.10 Canada, FL, MA, NJ, NV, NY, PA, SC, TN, WI
USPS (3-8) Free! 
(Fast & Free Delivery in 3 days or less on orders over $25. See Site for Details.)
$98.10
 BUY  Amazon (3.5)
[103 comments]
Usually ships in 24 hours $97.90 KS, ND, WA
UPS (3-7) $3.99
(Free shipping on most orders over $25)
$101.89
 BUY  Powell's (3.5)
[43 comments]
1 to 3 days $106.25 - N/A -
USPS (4-9) Free! 
(Free North American shipping on qualified orders of $50 or more)
$106.25
 BUY  BooksAMillion (3.5)
[67 comments]
Usually ships within 24 hours. $107.91
(Club Price)
AL
USPS (4-9) Free! 
$107.91
(Club Price)
 BUY  Biblio.com -N/A- (rate store)

[1 comment]
In Stock $115.50
(Used)
(Marketplace)
- N/A -
Ground $3.50
$119.00
(Used)
(Marketplace)
 BUY  BooksAMillion (3.5)
[67 comments]
Usually ships within 24 hours. $119.90 AL
USPS (4-9) Free! 
$119.90
 BUY  TextbookX.com (3.0)
[58 comments]
Usually ships in 1-2 days $124.76 CT
USPS (3-10) Free! 
$124.76
© Copyright 1997-2010, Best Web Buys, Inc. All rights reserved.
Designated trademarks and brands are the property of their respective owners or Best Web Buys, Inc.
Please send comments or problems to the
Portions of Content Provided by Rovi Data Solutions. Copyright © 2010 Rovi Data Solutions, Inc.
For personal non-commercial use only. All right reserved.