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