Interactive Theorem Proving and Program Development: CoqArt: 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
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.
Ähnliche Produkte
Back Market DE
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
AsGoodAsNew DE
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
Beauty Welt (DE)
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
babymarkt.de
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
DeubaXXL DE
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
| 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 |
|
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 |  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. |
| ID | 23881284 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Der interaktive Dobby Hauself aus der Wizarding World ist eine lebensechte Spielfigur von Spin Master. Mit über 30 verschiedenen Geräuschen, Sätzen und Bewegungen bringt er viel Spaß ins Spielzimmer. Die Puppe ist in Deutsch-Italienisch erhältlich.
Springer (9783319089690) | Interactive Theorem Proving
Sicheres Strommanagement für PCs: 1200 VA / 720 W line-interactive USV mit reiner Sinuswelle, AVR und LCD‑Anzeige – kompakt, rack‑einbaufähig, zuverlässig bei Spannungsschwankungen.
