Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Gesponsert
SpringerLink DE
128.39 EUR
Preis aktualisiert am: 11-06-2026 23:40:50
Allgemein
Marke
Springer
