Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Editat de Henk Barendregt et al.
20 mai 1994
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
Cărți de Henk Barendregt