Preis von
149.74 EUR
149.74 EUR
Adapting Proofs-as-Programs: The Curry--Howard Protocol
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
GesponsertAdapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)
Günstigstes Angebot
Galaxus.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 - Ingenieurbücher - 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 |
|
| Tags | Adapting Proofs-as-Programs |
| Bezeichner | |
| Marke | Poernomo, Iman Hafiz |
| ISBN | Poernomo, Iman Hafiz 1441920145 |
| ID | 11999130 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
(9783838311661) | Successful Strategies of MNCs
Springer-Verlag GmbH (9783319129990 / 55 black & white illustrations, 60 black) | Agriculture to Climate Change
Lexington Books (9780739117194 / 7184616) | Transformation of Yiguan Dao
Books On Demand (9783640617807 / 9783640617807)