Types for Proofs and Programs
Editat de Paul Callaghan et al.
20 feb 2002
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Cărți de Zhaohui Luo
Modern Perspectives in Type-Theoretical Semantics
Editat de Stergios Chatzikyriakidis et al.
13 feb 2017
Hardback
Preț: 644.36 lei 847.84 lei
38-44 zile
-24%