Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Editat de Yassine Lakhnech et al. 20 sep 2004 Paperback Preț: 326.91 lei 408.64 lei 6-8 săpt. -20%