Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Editat de Stefano Berardi et al.
2 oct 1996
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Cărți de Mario Coppo