Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Preise von
82,80
Hervorgehoben
|
82,80 € |
Zum Shop
|
|
82,80 € |
Zum Shop
|
|
90,94 € |
Zum Shop
|
| ALLE WEBSHOPS VERGLEICHEN (3) | ||
Beschreibung
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Beschreibung
(0)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Produktspezifikationen
Preis-Historie
* Die Preishistorie enthält keine Daten von Amazon, Amazon Marketplace.
Preise zuletzt aktualisiert am:
Verwandte Ergebnisse
Hervorgehobene Wahl
82,80 €
