Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
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)
128.39 EUR
Preis aktualisiert am: 13-05-2026 19:31:49
128.39 EUR
Preis aktualisiert am: 13-05-2026 19:31:49 
SpringerLink DE
Gesponsert Interactive Theorem Proving and Program Development
128.39 EUR
Preis aktualisiert am: 13-05-2026 14:35:50
128.39 EUR
Preis aktualisiert am: 13-05-2026 14:35:50 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen.
