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

Adapting Proofs-as-Programs
Wo zu kaufen (2) Eigenschaften
Gesponsert
Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)
Medimops DE
139.98 EUR
Preis aktualisiert am: 06-09-2026 23:25:56
Siehe Produktangebot
Gesponsert
Adapting Proofs-as-Programs
SpringerLink DE
177.00 EUR
Preis aktualisiert am: 07-09-2026 11:15:08
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
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ü