Formal Methods for Protocol Engineering and Distributed Systems Editat de Jianping Wu et al. 18 apr 2013 Paperback Preț: 1250.98 lei 1563.72 lei 6-8 săpt. -20%