Adapting Proofs-As-Programs
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 981.84 lei 1227.30 lei
6-8 săpt.
-20%
John N Crossley
Logical Methods
Editat de John N Crossley et al.
26 ian 1994
Paperback
Preț: 967.72 lei 1180.14 lei
6-8 săpt.
-18%