Gordon, M.J.C.

Vis mig kun

Higher Order Logic Theorem Proving and its Applications

Higher Order Logic Theorem Proving and its Applications

Gordon, M.J.C.

1313,81 DKK

Denotational Description of Programming Languages

Denotational Description of Programming Languages

Gordon, M.J.C.

436,85 DKK