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

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

Książka w miękkiej okładce Kategoria: Fundamenty matematyki Cena internetowa: 88.57 EUR (ok. 381.64 zł) (aktualizacja cen dnia 14.08.2026) Darmowa wysyłka do Polski więcej Ocena czytelnikόw i komentarze: Amazon

Wraz z niniejszą książką, polecamy również następujące tytuły:

What Is the Name of This Book? Cena: 58.17 zł

Building Proofs Cena: 99.06 zł

Godel, Escher, Bach Cena: 101.26 zł

Interactive Theorem Proving and Program Development Cena: 395.30 zł

Książki z kategorii Fundamenty matematyki

Więcej od książek

Nutty Numbers: A Lift-the-Flap Book Cena: 6.59 EUR 28.40 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Age 7-11 Workbook 2: Age 7-11 Cena: 6.59 EUR 28.40 zł Pokaż szczegόły
Times Tables. Age 5-7: Age 5-7 Cena: 6.59 EUR 28.40 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Workbook 3, Age 7-11: Age 7-11 Cena: 6.59 EUR 28.40 zł Pokaż szczegόły
English. Ages 4-5: Prepare for School with Easy Home Learning Cena: 13.10 EUR 56.45 zł Pokaż szczegόły	Addition and Subtraction. Ages 7-9: Ideal for Home Learning Cena: 13.11 EUR 56.49 zł Pokaż szczegόły
Grammar and Punctuation. Ages 7-9: Prepare for School with Easy Home Learning Cena: 13.11 EUR 56.49 zł Pokaż szczegόły	Spelling. Ages 7-8: Ideal for Home Learning Cena: 10.98 EUR 47.31 zł Pokaż szczegόły
Telling the Time. Ages 7-9: Ideal for Home Learning Cena: 13.01 EUR 56.06 zł Pokaż szczegόły	Comprehension. Ages 7-9: Prepare for School with Easy Home Learning Cena: 13.10 EUR 56.45 zł Pokaż szczegόły
Addition and Subtraction. Ages 5-7: Prepare for School with Easy Home Learning Cena: 13.18 EUR 56.79 zł Pokaż szczegόły	Mental Maths. Ages 5-7: Ideal for Home Learning Cena: 6.61 EUR 28.48 zł Pokaż szczegόły
Times Tables Ages 5-7: Prepare for School with Easy Home Learning Cena: 11.74 EUR 50.59 zł Pokaż szczegόły	Tmes Tables. Ages 5-7 Workbook: Ideal for Home Learning Cena: 13.21 EUR 56.92 zł Pokaż szczegόły
Tmes Tables. Ages 7-11: Ideal for Home Learning Cena: 13.36 EUR 57.57 zł Pokaż szczegόły	Fractions. Ages 5-7: Ideal for Home Learning Cena: 13.27 EUR 57.18 zł Pokaż szczegόły
Fractions and Decimals. Ages 7-9: Ideal for Home Learning Cena: 13.22 EUR 56.96 zł Pokaż szczegόły	Numbers. Ages 3-5: Ideal for Home Learning Cena: 11.32 EUR 48.78 zł Pokaż szczegόły
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 16.52 EUR 71.18 zł Pokaż szczegόły	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 18.41 EUR 79.33 zł Pokaż szczegόły