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: 75.66 EUR (cca 1834 Kč) (cena aktualizována 13.11.2025) 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:

An Illustrated Book of Bad Arguments Cena: 427 Kč 357 Kč

Interactive Theorem Proving and Program Development Cena: 2224 Kč

Building Proofs Cena: 557 Kč

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

Knihy z kategorie Matematické základy

Více než knih

Nutty Numbers: A Lift-the-Flap Book Cena: 6.41 EUR cca 155 Kč Podrobnosti o knize	Collins Easy Learning Times Tables. Age 7-11 Workbook 2: Age 7-11 Cena: 6.41 EUR cca 155 Kč Podrobnosti o knize
Times Tables. Age 5-7: Age 5-7 Cena: 6.41 EUR cca 155 Kč Podrobnosti o knize	Collins Easy Learning Times Tables. Workbook 3, Age 7-11: Age 7-11 Cena: 6.41 EUR cca 155 Kč Podrobnosti o knize
English. Ages 4-5: Prepare for School with Easy Home Learning Cena: 7.82 EUR cca 190 Kč Podrobnosti o knize	Addition and Subtraction. Ages 7-9: Ideal for Home Learning Cena: 7.84 EUR cca 190 Kč Podrobnosti o knize
Grammar and Punctuation. Ages 7-9: Prepare for School with Easy Home Learning Cena: 7.84 EUR cca 190 Kč Podrobnosti o knize	Spelling. Ages 7-8: Ideal for Home Learning Cena: 5.76 EUR cca 140 Kč Podrobnosti o knize
Telling the Time. Ages 7-9: Ideal for Home Learning Cena: 7.74 EUR cca 188 Kč Podrobnosti o knize	Comprehension. Ages 7-9: Prepare for School with Easy Home Learning Cena: 7.83 EUR cca 190 Kč Podrobnosti o knize
Addition and Subtraction. Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.30 EUR cca 177 Kč Podrobnosti o knize	Mental Maths. Ages 5-7: Ideal for Home Learning Cena: 7.86 EUR cca 191 Kč Podrobnosti o knize
Times Tables Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.92 EUR cca 192 Kč Podrobnosti o knize	Tmes Tables. Ages 5-7 Workbook: Ideal for Home Learning Cena: 5.76 EUR cca 140 Kč Podrobnosti o knize
Tmes Tables. Ages 7-11: Ideal for Home Learning Cena: 8.14 EUR cca 197 Kč Podrobnosti o knize	Fractions. Ages 5-7: Ideal for Home Learning Cena: 7.96 EUR cca 193 Kč Podrobnosti o knize
Fractions and Decimals. Ages 7-9: Ideal for Home Learning Cena: 7.93 EUR cca 192 Kč Podrobnosti o knize	Numbers. Ages 3-5: Ideal for Home Learning Cena: 6.92 EUR cca 168 Kč Podrobnosti o knize
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 16.06 EUR cca 389 Kč Podrobnosti o knize	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 12.53 EUR cca 304 Kč Podrobnosti o knize