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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Medimops DE
128.39 EUR
Preis aktualisiert am: 26-04-2026 18:09:09
Siehe Produktangebot
Gesponsert
Interactive Theorem Proving and Program Development
SpringerLink DE
128.39 EUR
Preis aktualisiert am: 27-04-2026 06:48:26
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Interactive Storytelling
Interactive Storytelling
Produkt anzeigen
Learning in a Digital World
Learning in a Digital World
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Produkt anzeigen
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Produkt anzeigen
Wizarding World
Wizarding World - Interaktiver Dobby Hauself, Spielfigur
Produkt anzeigen
Cyberpower USV CP1200EIPFCRM2U 1200VA/720W
Cyberpower USV CP1200EIPFCRM2U 1200VA/720W
Produkt anzeigen
Menü