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
Galaxus.de
Gesponsert Interactive Theorem Proving and Program Development, Fachbücher
85.59 EUR
Preis aktualisiert am: 01-07-2026 10:03:34
85.59 EUR
Preis aktualisiert am: 01-07-2026 10:03:34 | Bezeichner | |
|---|---|
| ISBN | Yves Bertot 3642058809 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Yves Bertot
