Andrew M. (University of Cambridge) Pitts - Böcker

Visar alla böcker från författaren Andrew M. (University of Cambridge) Pitts.

4 produkter

Böcker

4 produkter

Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Andrew M. Pitts, P. Dybjer, Peter Dybjer - Semantics and Logics of Computation, Häftad

Semantics and Logics of Computation

Av Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Andrew M. Pitts, P. Dybjer, Peter Dybjer

Häftad, Engelska, 2009

789 kr

Skickas inom 7-10 vardagar

Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, A. Pitts, P. Dybjer, Andrew M. Pitts - Semantics and Logics of Computation, Inbunden

Semantics and Logics of Computation

Av Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, A. Pitts, P. Dybjer, Andrew M. Pitts

Inbunden, Engelska, 1997

2 619 kr

Skickas inom 5-8 vardagar

Andrew D. (University of Cambridge) Gordon, Andrew M. (University of Cambridge) Pitts, Andrew D. Gordon, Andrew M. Pitts - Higher Order Operational Techniques in Semantics, Inbunden

Higher Order Operational Techniques in Semantics

Av Andrew D. (University of Cambridge) Gordon, Andrew M. (University of Cambridge) Pitts, Andrew D. Gordon, Andrew M. Pitts

Inbunden, Engelska, 1998

1 899 kr

Skickas inom 5-8 vardagar

Andrew M. (University of Cambridge) Pitts, Andrew M. Pitts, Andrew. M Pitts - Nominal Sets, Inbunden

Nominal Sets

Av Andrew M. (University of Cambridge) Pitts, Andrew M. Pitts, Andrew. M Pitts

Inbunden, Engelska, 2013

1 019 kr

Skickas inom 7-10 vardagar