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

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

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

Interactive Theorem Proving and Program Development Cena: 386.75 zł

Theorem Proving in Higher Order Logics Cena: 349.53 zł 209.82 zł

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

Building Proofs Cena: 96.92 zł

Książki z kategorii Fundamenty matematyki

Więcej od książek

Nutty Numbers: A Lift-the-Flap Book Cena: 6.50 EUR 27.40 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Age 7-11 Workbook 2: Age 7-11 Cena: 6.50 EUR 27.40 zł Pokaż szczegόły
Times Tables. Age 5-7: Age 5-7 Cena: 6.50 EUR 27.40 zł Pokaż szczegόły	Collins Easy Learning Times Tables. Workbook 3, Age 7-11: Age 7-11 Cena: 6.50 EUR 27.40 zł Pokaż szczegόły
English. Ages 4-5: Prepare for School with Easy Home Learning Cena: 8.00 EUR 33.73 zł Pokaż szczegόły	Addition and Subtraction. Ages 7-9: Ideal for Home Learning Cena: 8.02 EUR 33.81 zł Pokaż szczegόły
Grammar and Punctuation. Ages 7-9: Prepare for School with Easy Home Learning Cena: 8.02 EUR 33.81 zł Pokaż szczegόły	Spelling. Ages 7-8: Ideal for Home Learning Cena: 5.91 EUR 24.92 zł Pokaż szczegόły
Telling the Time. Ages 7-9: Ideal for Home Learning Cena: 7.90 EUR 33.30 zł Pokaż szczegόły	Comprehension. Ages 7-9: Prepare for School with Easy Home Learning Cena: 8.01 EUR 33.77 zł Pokaż szczegόły
Addition and Subtraction. Ages 5-7: Prepare for School with Easy Home Learning Cena: 8.06 EUR 33.98 zł Pokaż szczegόły	Mental Maths. Ages 5-7: Ideal for Home Learning Cena: 7.41 EUR 31.24 zł Pokaż szczegόły
Times Tables Ages 5-7: Prepare for School with Easy Home Learning Cena: 7.09 EUR 29.89 zł Pokaż szczegόły	Tmes Tables. Ages 5-7 Workbook: Ideal for Home Learning Cena: 8.06 EUR 33.98 zł Pokaż szczegόły
Tmes Tables. Ages 7-11: Ideal for Home Learning Cena: 8.29 EUR 34.95 zł Pokaż szczegόły	Fractions. Ages 5-7: Ideal for Home Learning Cena: 7.53 EUR 31.74 zł Pokaż szczegόły
Fractions and Decimals. Ages 7-9: Ideal for Home Learning Cena: 8.11 EUR 34.19 zł Pokaż szczegόły	Numbers. Ages 3-5: Ideal for Home Learning Cena: 7.09 EUR 29.89 zł Pokaż szczegόły
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 16.28 EUR 68.63 zł Pokaż szczegόły	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Cena: 12.78 EUR 53.88 zł Pokaż szczegόły