Cărți de Stefano Berardi

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Lecture Notes in Computer Science, nr. 5497

Editat de Stefano Berardi et al.

19 iun 2009

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-20%

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%

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%