Reactive Systems: Modelling, Specification and Verification Autor Luca Aceto et al. 8 aug 2007 Hardback Preț: 658.79 lei 823.48 lei 6-8 săpt. | 6-10 zile -20%