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 43-57 zile -20%