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