Preis von
81.80 EUR
81.80 EUR
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
preigu.de
Galaxus.de
SpringerLink DE
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Bücher über Programmierung und Softwareentwicklung - Mathematikbücher - Informatik - Softwareentwicklung - Softwareentwicklung - Logik |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Bezeichner | |
| Marke | Yves Bertot |
| ISBN | Yves Bertot 3642058809 |
| ID | 11635026 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Springer (9783319089690) | Interactive Theorem Proving
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions
Springer (9783540208549)
VDM Verlag Dr. Mueller E.K. (9783836457699)