Computation and Reasoning: A Type Theory for Computer Science
Autor Zhaohui Luo
31 mar 1994
Hardback
Preț: 537.88 lei 792.12 lei
45-50 zile
-32%
Cărți de Zhaohui Luo
Types for Proofs and Programs
Editat de Paul Callaghan et al.
20 feb 2002
Paperback
Preț: 318.94 lei 398.67 lei
6-8 săpt.
-20%
Modern Perspectives in Type-Theoretical Semantics
Editat de Stergios Chatzikyriakidis et al.
13 iul 2018
Paperback
Preț: 631.76 lei 831.26 lei
38-44 zile
-24%