Formal Methods for Open Object-Based Distributed Systems IV Autor International Conference on Formal Metho et al. 31 aug 2000 Hardback Preț: 1288.58 lei 1610.72 lei 6-8 săpt. -20%