Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autor: Yves Bertot, Yves Bertot, P. Castéran

paperback Kategorie: Matematické základy Naše cena: 81.23 EUR (cca 1992 Kč) (cena aktualizována 04.04.2026) Doprava zdarma do České republiky a na Slovensko více Komentáře čtenářů a knižní recenze: Amazon

Společně s touto kniho zároveň doporučujeme tyto knihy:

Godel, Escher, Bach Cena: 576 Kč

An Illustrated Book of Bad Arguments Cena: 432 Kč 368 Kč

What Is the Name of This Book? Cena: 331 Kč

Building Proofs Cena: 564 Kč

Knihy z kategorie Matematické základy

Více než knih

Nutty Numbers: A Lift-the-Flap Book Cena: 6.53 EUR cca 160 Kč Podrobnosti o knize	Collins Easy Learning Times Tables. Age 7-11 Workbook 2: Age 7-11 Cena: 6.53 EUR cca 160 Kč Podrobnosti o knize
Times Tables. Age 5-7: Age 5-7 Cena: 6.53 EUR cca 160 Kč Podrobnosti o knize	Collins Easy Learning Times Tables. Workbook 3, Age 7-11: Age 7-11 Cena: 6.53 EUR cca 160 Kč Podrobnosti o knize
English. Ages 4-5: Prepare for School with Easy Home Learning Cena: 8.03 EUR cca 197 Kč Podrobnosti o knize	Addition and Subtraction. Ages 7-9: Ideal for Home Learning Cena: 8.05 EUR cca 197 Kč Podrobnosti o knize
Grammar and Punctuation. Ages 7-9: Prepare for School with Easy Home Learning Cena: 8.05 EUR cca 197 Kč Podrobnosti o knize	Spelling. Ages 7-8: Ideal for Home Learning Cena: 5.93 EUR cca 145 Kč Podrobnosti o knize
Telling the Time. Ages 7-9: Ideal for Home Learning Cena: 7.94 EUR cca 195 Kč Podrobnosti o knize	Comprehension. Ages 7-9: Prepare for School with Easy Home Learning Cena: 8.04 EUR cca 197 Kč Podrobnosti o knize
Addition and Subtraction. Ages 5-7: Prepare for School with Easy Home Learning Cena: 8.11 EUR cca 199 Kč Podrobnosti o knize	Mental Maths. Ages 5-7: Ideal for Home Learning Cena: 8.06 EUR cca 198 Kč Podrobnosti o knize
Times Tables Ages 5-7: Prepare for School with Easy Home Learning Cena: 8.06 EUR cca 198 Kč Podrobnosti o knize	Tmes Tables. Ages 5-7 Workbook: Ideal for Home Learning Cena: 8.11 EUR cca 199 Kč Podrobnosti o knize
Tmes Tables. Ages 7-11: Ideal for Home Learning Cena: 8.34 EUR cca 205 Kč Podrobnosti o knize	Fractions. Ages 5-7: Ideal for Home Learning Cena: 8.18 EUR cca 201 Kč Podrobnosti o knize
Fractions and Decimals. Ages 7-9: Ideal for Home Learning Cena: 8.14 EUR cca 200 Kč Podrobnosti o knize	Numbers. Ages 3-5: Ideal for Home Learning Cena: 7.12 EUR cca 175 Kč Podrobnosti o knize
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 16.36 EUR cca 401 Kč Podrobnosti o knize	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 12.84 EUR cca 315 Kč Podrobnosti o knize