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%
Cărți de Alan J. Hu
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%
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Editat de Hana Chockler et al.
22 apr 2009
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%