Specification Case Studies in RAISE Formal Approaches to Computing and Information Technology (FACIT) Editat de Hung Dang Van et al. 8 feb 2002 Paperback Preț: 626.57 lei 783.22 lei 6-8 săpt. -20%