Cărți de Peter Dybjer

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Lecture Notes in Computer Science, nr. 2395

Editat de Gilles Barthe et al.

21 aug 2002

Preț: 389^.98 lei

6-8 săpt.

Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Lecture Notes in Computer Science, nr. 1956

Editat de Thierry Coquand et al.

13 dec 2000

Preț: 326^.31 lei 407^.88 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Lecture Notes in Computer Science, nr. 996

Editat de Peter Dybjer et al.

18 oct 1995

Preț: 319^.42 lei 399^.27 lei

6-8 săpt.

-20%

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings

Lecture Notes in Computer Science, nr. 389

Editat de David H. Pitt et al.

23 aug 1989

Preț: 326^.76 lei 408^.45 lei

6-8 săpt.

-20%