Deduction Systems
Autor Rolf Socher-Ambrosius et al.
18 sep 2011
Paperback
Preț: 320.19 lei 400.24 lei
6-8 săpt.
-20%
Texts in Computer Science
Refinement Calculus
Autor Ralph-Johan Back et al.
13 apr 1998
Paperback
Preț: 735.08 lei 918.85 lei
6-8 săpt.
-20%
Descriptive Complexity
Autor Neil Immerman
20 noi 1998
Hardback
Preț: 795.35 lei 994.18 lei
6-8 săpt.
-20%