1. Home
  2. Medien
  3. Bücher
  4. Adapting Proofs-as-Programs: The Curry--Howard Protocol
  • #

Adapting Proofs-as-Programs: The Curry--Howard Protocol

160.49 EUR 149.74 EUR 7% Off

Teilen:
Gesponsert

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

Medimops DE
149.74 EUR
30-04-2026 14:27:25
Gesponsert

Adapting Proofs-as-Programs

SpringerLink DE
160.49 EUR
30-04-2026 14:00:40
Gesponsert

Adapting Proofs-as-Programs, Fachbücher von Martin Wirsing, Iman Poernomo, John N. Crossley

Galaxus.de
160.49 EUR
30-04-2026 12:18:05

Ähnliche Produkte

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

58.34 EUR
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

68.00 EUR
Adapting African Agriculture to Climate Change

Adapting African Agriculture to Climate Change

95.98 EUR
The Transformation of Yiguan Dao in Taiwan

The Transformation of Yiguan Dao in Taiwan

125.80 EUR
Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

117.69 EUR
Middeldorf, Sabrina: Adapting Billy Bishop goes to War for Germany

Middeldorf, Sabrina: Adapting "Billy Bishop goes to War" for Germany

16.95 EUR