Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions

Bertot, Yves, Cast�ran, Pierre

4.11 out of 5 stars

28 ratings by Goodreads

ISBN 10: 3540208542 ISBN 13: 9783540208549

Published by Springer Berlin / Heidelberg, 2004

Language: English

Condition: Used - Very good Hardcover

Save for Later

Sold by Better World Books, Mishawaka, IN, U.S.A.

AbeBooks Seller since August 3, 2006

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Very good

Price: US$ 55.00 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Used book that is in excellent condition. May show signs of wear or have minor defects.

Seller Inventory # 52062814-6

Contact seller

Report this item

Bibliographic Details

Title

Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Constructions

Publisher

Springer Berlin / Heidelberg

Publication Date

2004

Language

English

ISBN 10

3540208542

ISBN 13

9783540208549

Binding

Hardcover

Condition

Very Good

Seller catalogs

About this title

Synopsis

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.

This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

From the Back Cover

"About this title" may belong to another edition of this title.

Store Description

Better World Books (https://www.BetterWorldBooks.com) is a for-profit, socially conscious business and a global online bookseller that collects and sells new and used books online, matching each purchase with a book donation. Each sale generates funds for literacy and education initiatives in the U.S., the UK, and around the world. Since its launch in 2003, Better World Books has raised $33 million for libraries and literacy, donated over 32 million books, and reused or recycled more than 397 million books.

Visit Seller's Storefront

Seller's business information

Better World Books Marketplace, Inc.
55740 Currant Road, Mishawaka, IN, 46545, U.S.A.

Sale & Shipping Terms

Terms of Sale

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

More Information

Shipping Terms

Please allow 1-2 business days for order fulfillment.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 8 business days	3 to 5 business days
First item	US$ 0.00	US$ 10.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.