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ț: 638.56 lei 798.20 lei 43-57 zile -20%