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ț: 651.75 lei 814.68 lei 6-8 săpt. -20%