Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings Lecture Notes in Computer Science, nr. 3312 Editat de Alan J. Hu et al. 17 noi 2004 Paperback Preț: 340.64 lei 425.81 lei 6-8 săpt. -20%