Yves Bertot: 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

Autor: Yves Bertot

Książka w miękkiej okładce
Kategoria: Fundamenty matematyki
Cena internetowa: 87.22 EUR (ok. 363.42 zł)
(aktualizacja cen dnia 23.09.2024)

Darmowa wysyłka do Polski więcej

Ocena czytelnikόw i komentarze: Amazon

Zobacz i Zamów

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

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

An Illustrated Book of Bad Arguments
Cena: 73.42 zł

Interactive Theorem Proving and Program Development
Cena: 382.25 zł

Building Proofs
Cena: 95.79 zł

Książki z kategorii Fundamenty matematyki

Więcej od książek

Nutty Numbers: A Lift-the-Flap Book Cena: 6.81 EUR 28.38 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Age 7-11 Workbook 2: Age 7-11 Cena: 6.80 EUR 28.33 zł Pokaż szczegόły
Times Tables. Age 5-7: Age 5-7 Cena: 6.81 EUR 28.38 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Workbook 3, Age 7-11: Age 7-11 Cena: 6.80 EUR 28.33 zł Pokaż szczegόły
English. Ages 4-5: Prepare for School with Easy Home Learning Cena: 7.20 EUR 30.00 zł Pokaż szczegόły	Addition and Subtraction. Ages 7-9: Ideal for Home Learning Cena: 7.16 EUR 29.83 zł Pokaż szczegόły
Grammar and Punctuation. Ages 7-9: Prepare for School with Easy Home Learning Cena: 7.22 EUR 30.08 zł Pokaż szczegόły	Spelling. Ages 7-8: Ideal for Home Learning Cena: 6.36 EUR 26.50 zł Pokaż szczegόły
Telling the Time. Ages 7-9: Ideal for Home Learning Cena: 7.19 EUR 29.96 zł Pokaż szczegόły	Comprehension. Ages 7-9: Prepare for School with Easy Home Learning Cena: 7.29 EUR 30.38 zł Pokaż szczegόły
Addition and Subtraction. Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.21 EUR 30.04 zł Pokaż szczegόły	Mental Maths. Ages 5-7: Ideal for Home Learning Cena: 7.28 EUR 30.33 zł Pokaż szczegόły
Times Tables Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.35 EUR 30.63 zł Pokaż szczegόły	Tmes Tables. Ages 5-7 Workbook: Ideal for Home Learning Cena: 5.73 EUR 23.88 zł Pokaż szczegόły
Tmes Tables. Ages 7-11: Ideal for Home Learning Cena: 7.60 EUR 31.67 zł Pokaż szczegόły	Fractions. Ages 5-7: Ideal for Home Learning Cena: 7.40 EUR 30.83 zł Pokaż szczegόły
Fractions and Decimals. Ages 7-9: Ideal for Home Learning Cena: 7.35 EUR 30.63 zł Pokaż szczegόły	Numbers. Ages 3-5: Ideal for Home Learning Cena: 6.17 EUR 25.71 zł Pokaż szczegόły
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 17.06 EUR 71.08 zł Pokaż szczegόły	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 12.87 EUR 53.63 zł Pokaż szczegόły