Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

82.79 EUR
Preis aktualisiert am: 19-08-2026 15:10:36
Siehe Produktangebot

Gesponsert Interactive Theorem Proving and Program Development

93.49 EUR
Preis aktualisiert am: 19-08-2026 16:29:30
Siehe Produktangebot
Bezeichner
ISBN Yves Bertot 3642058809
Abmessungen / Gewicht
Hauptmerkmale
Yves Bertot