Refinement Calculus Texts in Computer Science Autor Ralph-Johan Back et al. 13 apr 1998 Paperback Preț: 740.01 lei 925.02 lei 6-8 săpt. -20%