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-07-2026 02:53:33
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: 24-07-2026 11:41:21
Siehe Produktangebot
Gesponsert
Adapting Proofs-as-Programs
SpringerLink DE
177.00 EUR
Preis aktualisiert am: 24-07-2026 23:21:16
Siehe Produktangebot

Allgemein

Marke
Poernomo, Iman Hafiz
ISBN
Poernomo, Iman Hafiz 1441920145

Eigenschaften

Ähnliche Produkte

Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
Produkt anzeigen
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
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
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
Adapting Billy Bishop goes to War for Germany
Adapting "Billy Bishop goes to War" for Germany
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
Menü