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%
Cărți de Wang Yi
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Tiziana Margaria et al.
21 mar 2001
Paperback
Preț: 665.27 lei 831.58 lei
43-57 zile
-20%