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

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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

149.74 EUR
Preis aktualisiert am: 21-05-2026 15:20:26
Siehe Produktangebot

Gesponsert Adapting Proofs-as-Programs

160.49 EUR
Preis aktualisiert am: 22-05-2026 02:10:29
Siehe Produktangebot

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

160.49 EUR
Preis aktualisiert am: 21-05-2026 07:19:10
Siehe Produktangebot
Bezeichner
ISBN Poernomo, Iman Hafiz 1441920145
Abmessungen / Gewicht
Hauptmerkmale
Poernomo, Iman Hafiz