Cărți de Andrew M. Pitts

Higher Order Operational Techniques in Semantics

Publications of the Newton Institute, nr. 12

Editat de Andrew D. Gordon et al.

21 ian 1998

Preț: 625^.99 lei 782^.49 lei

6-8 săpt.

-20%

Nominal Sets: Names and Symmetry in Computer Science

Cambridge Tracts in Theoretical Computer Science, nr. 57

Autor Andrew M. Pitts

29 mai 2013

Preț: 388^.83 lei 486^.03 lei

6-8 săpt.

-20%

Semantics and Logics of Computation

Publications of the Newton Institute, nr. 14

Editat de Andrew M. Pitts et al.

19 aug 2009

Preț: 295^.03 lei 368^.79 lei

6-8 săpt.

-20%