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)

78.21 EUR
Preis aktualisiert am: 14-05-2026 21:08:34
Siehe Produktangebot

Gesponsert Interactive Theorem Proving and Program Development

81.70 EUR
Preis aktualisiert am: 15-05-2026 09:36:31
Siehe Produktangebot

Gesponsert Interactive Theorem Proving and Program Development, Fachbücher

85.59 EUR
Preis aktualisiert am: 15-05-2026 03:36:31
Siehe Produktangebot

Gesponsert Interactive Theorem Proving and Program Development

90.94 EUR
Preis aktualisiert am: 15-05-2026 03:41:26
Siehe Produktangebot
Bezeichner
ISBN Yves Bertot 3642058809
Abmessungen / Gewicht
Hauptmerkmale
Yves Bertot