Interactive Theorem Proving and Program Development

Bertot, Yves

4.11 out of 5 stars

28 ratings by Goodreads

ISBN 10: 3540208542 ISBN 13: 9783540208549

Published by Springer, 2004

Language: English

Condition: Used - Fine Hardcover

Save for Later

Sold by Eve's Book Garden, Albany, CA, U.S.A.

AbeBooks Seller since April 11, 2000

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Fine

Price: US$ 75.00 Convert Currency

US$ 6.00 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.

Seller Inventory # 041508

Contact seller

Report this item

Bibliographic Details

Title

Interactive Theorem Proving and Program Development

Publisher

Springer

Publication Date

2004

Language

English

ISBN 10

3540208542

ISBN 13

9783540208549

Binding

Hardcover

Condition

Fine

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

Visit Seller's Storefront

Seller's business information

Eve's Book Garden
CA, U.S.A.

Sale & Shipping Terms

Terms of Sale

Shipping cost for first book is $4.00 for standard media mail, 3.00 media for each additional book. We ship through the U.S. postal service. Postage for books of unusual size or weight to be determined at time of sale. Priority mail is $7.00 (as of postal rate increases in 1/16) for most shipments unless book is oversize or requires special handling. We accept credit cards through abebooks.com, and checks, money orders and PayPal. We provide careful, prompt shipping service. Eve's Book Garden is...

More Information

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on books weighing 1-2 lbs. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 5 business days
First item	US$ 6.00	US$ 11.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.