Interactive Theorem Proving and Program Development

3.8 avg rating
( 20 ratings by Goodreads )
 
9783540208549: Interactive Theorem Proving and Program Development
View all copies of this ISBN edition:
 
 

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

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

From the Back Cover:

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.

Review:

From the reviews of the first edition:

"This book serves as a Coq user manual, supporting both beginners and experts in the use of Coq and its underlying theory. ... Numerous exercises further enhance the utility as a learning aid. A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained ... . The book is also comprehensive ... . In summary, the book is an essential companion for every Coq user ... ." (Valentin F. Goranko, Zentralblatt MATH, Vol. 1069, 2005)

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

Top Search Results from the AbeBooks Marketplace

1.

Yves Bertot
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. HRD. Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IP-9783540208549

More Information About This Seller | Contact this Seller

Buy New
US$ 96.68
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Yves Bertot (author), Pierre Castéran (author), G. Huet (foreword), C. Paulin-Mohring (foreword)
Published by Springer Berlin Heidelberg 2004-05-14, Berlin |London (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Hardcover Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2004-05-14, Berlin |London, 2004. hardback. Condition: New. Seller Inventory # 9783540208549

More Information About This Seller | Contact this Seller

Buy New
US$ 92.75
Convert Currency

Add to Basket

Shipping: US$ 8.31
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Yves Bertot; Pierre Castéran
Published by Springer (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2004. Condition: New. Seller Inventory # L9783540208549

More Information About This Seller | Contact this Seller

Buy New
US$ 100.97
Convert Currency

Add to Basket

Shipping: US$ 3.65
From Germany to U.S.A.
Destination, Rates & Speeds

4.

YVES BERTOT
Published by Springer (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2004. Hardback. Condition: NEW. 9783540208549 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0329825

More Information About This Seller | Contact this Seller

Buy New
US$ 97.04
Convert Currency

Add to Basket

Shipping: US$ 11.08
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Bertot, Yves
Published by Springer (2016)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540208549_lsuk

More Information About This Seller | Contact this Seller

Buy New
US$ 102.96
Convert Currency

Add to Basket

Shipping: US$ 5.36
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Yves Bertot
Published by Springer (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2004. Hardcover. Condition: New. 2004. Seller Inventory # DADAX3540208542

More Information About This Seller | Contact this Seller

Buy New
US$ 106.53
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

7.

Yves Bertot
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. HRD. Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Seller Inventory # IP-9783540208549

More Information About This Seller | Contact this Seller

Buy New
US$ 101.77
Convert Currency

Add to Basket

Shipping: US$ 12.47
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Yves Bertot
Published by Springer-Verlag Gmbh Mai 2004 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Mai 2004, 2004. Buch. Condition: Neu. Neuware - 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. 469 pp. Englisch. Seller Inventory # 9783540208549

More Information About This Seller | Contact this Seller

Buy New
US$ 100.97
Convert Currency

Add to Basket

Shipping: US$ 14.67
From Germany to U.S.A.
Destination, Rates & Speeds

9.

Bertot, Yves/ CastTran, Pierre/ Huet, Gerard (Foreward By)/ Paulin-Mohring, Christine (Foreward By)
Published by Springer-Verlag New York Inc (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Hardcover Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc, 2004. Hardcover. Condition: Brand New. 1st edition. 468 pages. 9.25x6.25x1.00 inches. In Stock. Seller Inventory # __3540208542

More Information About This Seller | Contact this Seller

Buy New
US$ 109.94
Convert Currency

Add to Basket

Shipping: US$ 8.31
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Yves Bertot,Pierre Casteran
Published by Springer 2004-05-14 (2004)
ISBN 10: 3540208542 ISBN 13: 9783540208549
New Quantity Available: 5
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Springer 2004-05-14, 2004. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # NU-LBR-00745515

More Information About This Seller | Contact this Seller

Buy New
US$ 115.33
Convert Currency

Add to Basket

Shipping: US$ 5.53
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book