Computer Aided Verification Editat de Alan J. Hu et al. 3 iun 1998 Paperback Preț: 637.63 lei 797.04 lei 43-57 zile -20%
Formal Methods in Computer-Aided Design Editat de Alan J. Hu et al. 17 noi 2004 Paperback Preț: 330.36 lei 412.95 lei 43-57 zile -20%
Hardware and Software: Verification and Testing Editat de Hana Chockler et al. 22 apr 2009 Paperback Preț: 318.48 lei 398.10 lei 43-57 zile -20%