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ț: 644^.44 lei 805^.55 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ț: 400^.24 lei 500^.30 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ț: 303^.67 lei 379^.59 lei

6-8 săpt.

-20%