Compiling Esterel Autor Dumitru Potop-Butucaru et al. 10 mai 2007 Hardback Preț: 937.56 lei 1143.37 lei 6-8 săpt. -18%
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings Lecture Notes in Computer Science, nr. 2102 Editat de Gerard Berry et al. 4 iul 2001 Paperback Preț: 646.41 lei 808.02 lei 6-8 săpt. -20%