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 - 9783540208549 - May 14, 2004
In case cover and title do not match, the title is correct

Yves Bertot
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series 2004 edition

Price
$ 124.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 9 - 15

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:

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     Hardcover Book   (Book with hard spine and cover)
Released May 14, 2004
ISBN13 9783540208549
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 472
Dimensions 163 × 239 × 36 mm   ·   852 g
Language German  

More by Yves Bertot

Show all

Mere med samme udgiver

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