Modeling and Verification of Real-Time Systems Editat de Nicolas Navet et al. apr 2008 Hardback Preț: 1226.63 lei 1867.35 lei Indisponibil temporar -34%