Formal Modeling and Analysis of Timed Systems Editat de Marcin Jurdzinski et al. 17 aug 2012 Paperback Preț: 292.81 lei 366.01 lei 43-57 zile -20%