Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
Editat de Eduardo Gimenez et al.
7 oct 1998
Paperback
Preț: 330.09 lei 412.61 lei
6-8 săpt.
-20%
Cărți de Eduardo Gimenez