Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Editat de Stefano Berardi et al.
19 iun 2009
Paperback
Preț: 335.36 lei 419.20 lei
6-8 săpt.
-20%
Cărți de Ugo de Liguoro