Type Theory and Formal Proof
Autor Rob Nederpelt et al.
14 mar 2016
Hardback
Preț: 573.68 lei 717.10 lei
43-57 zile
-20%
Cărți de Rob Nederpelt
A Modern Perspective on Type Theory
Autor F. D. Kamareddine et al.
9 iun 2004
Hardback
Preț: 1158.76 lei 1413.12 lei
43-57 zile
-18%