Formal Modeling and Analysis of Timed Systems Editat de Paul Pettersson et al. 13 dec 2005 Paperback Preț: 323.17 lei 403.96 lei 43-57 zile -20%