2026 Reading Challenge

Interactive Theorem Proving and Program Development > Editions

by Yves Bertot First published June 24th 2004

Sort by
Format
Language
Editions
Showing 1-10 of 10
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development (Hardcover)
Published May 14th 2004 by Springer
2004, Hardcover, 497 pages
Author(s):
ISBN:
9783540208549 (ISBN10: 3540208542)
ASIN:
3540208542
Edition language:
English
Average rating:
4.19 (26 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Published December 15th 2010 by Springer
Softcover reprint of hardcover 1st ed. 2004, Paperback, 497 pages
Author(s):
ISBN:
9783642058806 (ISBN10: 3642058809)
ASIN:
3642058809
Edition language:
English
Average rating:
1.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
2004, Kindle Edition, 500 pages
Author(s):
ISBN:
9783662079645 (ISBN10: 366207964X)
ASIN:
B000QCUCZU
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development by Yves Bertot (2004-06-24)
Interactive Theorem Proving and Program Development by Yves Bertot (2004-06-24)
Published by Springer; 2004 edition (2004-06-24)
Hardcover, 0 pages
Author(s):
ASIN:
B019NDYU5A
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development by Yves Bertot (2004-06-24)
Interactive Theorem Proving and Program Development by Yves Bertot (2004-06-24)
Published by Springer
Hardcover, 0 pages
Author(s):
ASIN:
B01NH061KL
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot (2010-12-01)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot (2010-12-01)
Published by Springer Berlin Heidelberg
Paperback Bunko, 0 pages
Author(s):
ASIN:
B01FKSSQSE
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Softcover reprint of edition by Bertot, Yves, Castéran, Pierre (2010) Paperback
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Softcover reprint of edition by Bertot, Yves, Castéran, Pierre (2010) Paperback
Published by Springer
Softcover reprint of, Paperback, 0 pages
Author(s):
ASIN:
B010WEX1P4
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot (2010-12-01)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot (2010-12-01)
Published by Springer; Softcover reprint of hardcover 1st ed. 2004 edition (2010-12-01)
Paperback, 0 pages
Author(s):
ASIN:
B01A0COC9M
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot (2004-05-14)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot (2004-05-14)
Published by Springer
Hardcover, 0 pages
Author(s):
ASIN:
B01K0SL4HO
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Paperback)
Published March 12th 2014 by Springer
Paperback, 500 pages
Author(s):
ISBN:
9783662079652 (ISBN10: 3662079658)
ASIN:
3662079658
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page