Modeling and Verification of Real–time Systems Autor N Navet 9 mar 2008 Hardback Preț: 1191.51 lei 1770.93 lei Indisponibil temporar -33%