Modeling and Verification of Parallel Processes Editat de Franck Cassez et al. 24 oct 2001 Paperback Preț: 319.99 lei 399.99 lei 6-8 săpt. -20%
Formal Modeling and Analysis of Timed Systems Editat de Franck Cassez et al. 5 sep 2008 Paperback Preț: 335.69 lei 419.60 lei 6-8 săpt. -20%
Communicating Embedded Systems Editat de Claude Jard et al. dec 2009 Hardback Preț: 752.46 lei 1347.34 lei Indisponibil temporar -44%