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ț: 636.67 lei 795.84 lei
6-8 săpt.
-20%
Descriptive Complexity
Autor Neil Immerman
20 noi 1998
Hardback
Preț: 758.15 lei 947.70 lei
6-8 săpt.
-20%