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: In Honor of Anil Nerode’s Sixtieth Birthday
Editat de John N. Crossley et al.
14 feb 2013
Paperback
Preț: 1004.28 lei 1255.35 lei
38-44 zile
-20%