Formal Methods for Protocol Engineering and Distributed Systems Editat de Jianping Wu et al. 30 sep 1999 Hardback Preț: 1240.16 lei 1550.19 lei 6-8 săpt. -20%