Computer Aided Verification Editat de Alan J. Hu et al. 3 iun 1998 Paperback Preț: 635.65 lei 794.57 lei 6-8 săpt. -20%
Formal Methods in Computer-Aided Design Editat de Alan J. Hu et al. 17 noi 2004 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%