Sprache
Thema
Format
Verfügbarkeit
Zurücksetzen Autoren

Suchresultat

Peter Dybjer, Bengt Nordstr¿m, Beng Nordström, Bengt Nordström, Jan Smith - Types for Proofs and Programs
Peter Dybjer, Bengt Nordstr¿m, Beng Nordström, Bengt Nordström, Jan Smith Types for Proofs and Programs Englisch 22.10.2002 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, Jan Smith - Types for Proofs and Programs
Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, Jan Smith Types for Proofs and Programs Englisch 19.02.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)