Reactive Systems: Modelling, Specification and Verification Autor Luca Aceto et al. 8 aug 2007 Hardback Preț: 638.93 lei 798.66 lei 43-57 zile -20%