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