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ț: 631^.42 lei 789^.27 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ț: 392^.19 lei 490^.23 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ț: 297^.57 lei 371^.96 lei

6-8 săpt.

-20%