Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99 IFIP Advances in Information and Communication Technology, nr. 28 Editat de Jianping Wu et al. 30 sep 1999 Hardback Preț: 1288.94 lei 1611.17 lei 6-8 săpt. -20%