On the Refinement Calculus Formal Approaches to Computing and Information Technology (FACIT) Editat de Carroll Morgan et al. 13 dec 1994 Paperback Preț: 374.84 lei 6-8 săpt.