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