Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series - Yves Bertot - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642058806 - December 15, 2010
In case cover and title do not match, the title is correct

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 edition

Yves Bertot

Price
$ 101.99

Ordered from remote warehouse

Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2004 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.

497 pages, 1 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 15, 2010
ISBN13 9783642058806
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 472
Dimensions 155 × 236 × 26 mm   ·   693 g
Language French  
Show all

More by Yves Bertot

See all of Yves Bertot ( e.g. Hardcover Book and Paperback Book )