Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
19 noi 2010
Paperback
Preț: 955.14 lei 1193.93 lei
6-8 săpt.
-20%
Cărți de John N. Crossley
Logical Methods
Editat de John N. Crossley et al.
14 feb 2013
Paperback
Preț: 904.96 lei 1190.74 lei
38-44 zile
-24%