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