Cărți de Pierre-Louis Curien

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5608

Editat de Pierre-Louis Curien

8 iun 2009

Preț: 356^.40 lei 445^.50 lei

38-45 zile

-20%

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings

Lecture Notes in Computer Science, nr. 530

Editat de David H. Pitt et al.

21 aug 1991

Preț: 374^.54 lei

6-8 săpt.

Domains and Lambda-Calculi

Cambridge Tracts in Theoretical Computer Science, nr. 46

Autor Roberto M. Amadio et al.

14 mai 2008

Preț: 412^.15 lei 515^.20 lei

6-8 săpt.

-20%

Combinators and Functional Programming Languages

Editat de Guy Cousineau et al.

noi 1986

Preț: 289^.73 lei 362^.17 lei

6-8 săpt.

-20%