Adapting Proofs-as-Programs
Autor Iman Poernomo et al.
29 iul 2005
Hardback
Preț: 1003.36 lei 1254.20 lei
6-8 săpt.
-20%
Cărți de John N. Crossley
Logical Methods
Autor Crossley et al.
26 ian 1994
Hardback
Preț: 970.78 lei 1183.88 lei
6-8 săpt.
-18%