Types for Proofs and Programs - Jan Smith
Types for Proofs and Programs - Jan Smith
Tales.dk
DKK 578.95
Fra | DKK 577.95 |
Mærke | Springer Berlin Heidelberg |
EAN / Stregkode | 9783540605799 |
Butik | Bogreolen.dk |
Types for Proofs and Programs - Jan Smith