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