Communicating Embedded Systems Editat de Claude Jard et al. dec 2009 Hardback Preț: 727.07 lei 1303.87 lei Indisponibil temporar -44%
Formal Modeling and Analysis of Timed Systems Editat de Franck Cassez et al. 5 sep 2008 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Modeling and Verification of Parallel Processes Editat de Franck Cassez et al. 24 oct 2001 Paperback Preț: 307.71 lei 384.64 lei 6-8 săpt. -20%