Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Editat de Thorsten Altenkirch et al.
22 sep 1999
Paperback
Preț: 328.60 lei 410.75 lei
6-8 săpt.
-20%
Cărți de Wolfgang Naraschewski