Formal Modeling and Analysis of Timed Systems Editat de Paul Pettersson et al. 13 dec 2005 Paperback Preț: 322.19 lei 402.73 lei 6-8 săpt. -20%