Filtre: Paperback

Cărți de Mario Coppo

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Lecture Notes in Computer Science, nr. 1158

Editat de Stefano Berardi et al.

2 oct 1996

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%

Theoretical Computer Science

Editat de Mario Coppo et al.

28 sep 2005

Preț: 327^.92 lei 409^.90 lei

6-8 săpt.

-20%

Types for Proofs and Programs

Editat de Stefano Berardi et al.

15 iun 2004

Preț: 327^.49 lei 409^.37 lei

6-8 săpt.

-20%