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

Wo zu kaufen (1) Eigenschaften
Gesponsert
Interactive Theorem Proving and Program Development
SpringerLink DE
142.00 EUR
Preis aktualisiert am: 07-09-2026 11:15:25
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Wizarding World
Wizarding World - Interaktiver Dobby Hauself, Spielfigur
Produkt anzeigen
Cyberpower USV CP1200EIPFCRM2U 1200VA/720W
Cyberpower USV CP1200EIPFCRM2U 1200VA/720W
Produkt anzeigen
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
Menü