Formal Modeling and Analysis of Timed Systems Editat de Eugene Asarin et al. 19 sep 2006 Paperback Preț: 325.69 lei 407.10 lei 6-8 săpt. -20%