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

Autor: Yves Bertot

Książka w miękkiej okładce Kategoria: Fundamenty matematyki Cena internetowa: 76.64 EUR (ok. 327.17 zł) (aktualizacja cen dnia 22.04.2025) 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: 57.63 zł

Godel, Escher, Bach Cena: 100.32 zł

Building Proofs Cena: 98.14 zł

Theorem Proving in Higher Order Logics Cena: 353.94 zł 212.55 zł

Książki z kategorii Fundamenty matematyki

Więcej od książek

Nutty Numbers: A Lift-the-Flap Book Cena: 6.49 EUR 27.71 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Age 7-11 Workbook 2: Age 7-11 Cena: 6.49 EUR 27.71 zł Pokaż szczegόły
Times Tables. Age 5-7: Age 5-7 Cena: 6.81 EUR 29.07 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Workbook 3, Age 7-11: Age 7-11 Cena: 6.49 EUR 27.71 zł Pokaż szczegόły
English. Ages 4-5: Prepare for School with Easy Home Learning Cena: 7.20 EUR 30.74 zł Pokaż szczegόły	Addition and Subtraction. Ages 7-9: Ideal for Home Learning Cena: 7.16 EUR 30.57 zł Pokaż szczegόły
Grammar and Punctuation. Ages 7-9: Prepare for School with Easy Home Learning Cena: 7.22 EUR 30.82 zł Pokaż szczegόły	Spelling. Ages 7-8: Ideal for Home Learning Cena: 6.36 EUR 27.15 zł Pokaż szczegόły
Telling the Time. Ages 7-9: Ideal for Home Learning Cena: 8.00 EUR 34.15 zł Pokaż szczegόły	Comprehension. Ages 7-9: Prepare for School with Easy Home Learning Cena: 7.29 EUR 31.12 zł Pokaż szczegόły
Addition and Subtraction. Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.21 EUR 30.78 zł Pokaż szczegόły	Mental Maths. Ages 5-7: Ideal for Home Learning Cena: 7.28 EUR 31.08 zł Pokaż szczegόły
Times Tables Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.35 EUR 31.38 zł Pokaż szczegόły	Tmes Tables. Ages 5-7 Workbook: Ideal for Home Learning Cena: 5.73 EUR 24.46 zł Pokaż szczegόły
Tmes Tables. Ages 7-11: Ideal for Home Learning Cena: 8.49 EUR 36.24 zł Pokaż szczegόły	Fractions. Ages 5-7: Ideal for Home Learning Cena: 7.40 EUR 31.59 zł Pokaż szczegόły
Fractions and Decimals. Ages 7-9: Ideal for Home Learning Cena: 7.35 EUR 31.38 zł Pokaż szczegόły	Numbers. Ages 3-5: Ideal for Home Learning Cena: 7.19 EUR 30.69 zł Pokaż szczegόły
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 17.06 EUR 72.83 zł Pokaż szczegόły	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 13.20 EUR 56.35 zł Pokaż szczegόły