Suchergebnisse für "Poernomo, Iman/Crossley, John N/Wirsing, Martin"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Poernomo, Iman/Crossley, John N/Wirsing, Martin" gefunden.
Katalogsuche
Adapting Proofs-as-Programs
eBook - The Curry--Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Crossley, John N/Wirsing, Martin
SPRINGER
173,95 €
(inklusive MwSt.)
Lieferbar
Adapting Proofs-as-Programs
The Curry-Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Crossley, John N/Wirsing, Martin
Springer Verlag GmbH
160,49 €
(inklusive MwSt.)
Lieferbar
Adapting Proofs-as-Programs
The Curry-Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Crossley, John N/Wirsing, Martin
Springer Verlag GmbH
160,49 €
(inklusive MwSt.)
Lieferbar
