A Modern Perspective on Type Theory: From its Origins until Today
Autor F.D. Kamareddine et al.
22 oct 2010
Paperback
Preț: 754.53 lei 920.17 lei
6-8 săpt.
-18%
Cărți de Rob Nederpelt
Type Theory and Formal Proof: An Introduction
Autor Rob Nederpelt et al.
5 noi 2014
Hardback
Preț: 524.01 lei 655.01 lei
6-8 săpt.
-20%