Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs
Wo zu kaufen (3) Eigenschaften
Gesponsert
Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)
Medimops DE
149.74 EUR
Preis aktualisiert am: 25-05-2026 04:22:58
Siehe Produktangebot
Gesponsert
Adapting Proofs-as-Programs
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 25-05-2026 10:19:27
Siehe Produktangebot
Gesponsert
Adapting Proofs-as-Programs, Fachbücher von Martin Wirsing, Iman Poernomo, John N. Crossley
Galaxus.de
160.49 EUR
Preis aktualisiert am: 25-05-2026 03:38:58
Siehe Produktangebot

Allgemein

Marke
Poernomo, Iman Hafiz
ISBN
Poernomo, Iman Hafiz 1441920145

Eigenschaften

Ähnliche Produkte

Adapting African Agriculture to Climate Change: Transforming Rural Livelihoods (Climate Change Management)
Adapting African Agriculture to Climate Change: Transforming Rural Livelihoods (Climate Change Management)
Produkt anzeigen
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
Produkt anzeigen
The Transformation of Yiguan Dao in Taiwan: Adapting to a Changing Religious Economy
The Transformation of Yiguan Dao in Taiwan: Adapting to a Changing Religious Economy
Produkt anzeigen
Coping and Adapting Strategies of Women to Survive from Disaster: A Case Study on South Western Part of Satkhira District in Bangladesh
Coping and Adapting Strategies of Women to Survive from Disaster: A Case Study on South Western Part of Satkhira District in Bangladesh
Produkt anzeigen
Successful Strategies of MNCs in Central and Eastern Europe: Adapting to Transition and Beyond
Successful Strategies of MNCs in Central and Eastern Europe: Adapting to Transition and Beyond
Produkt anzeigen
Adapting Billy Bishop goes to War for Germany
Adapting "Billy Bishop goes to War" for Germany
Produkt anzeigen
Menü