Cărți de Alan J. Hu

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5394

Editat de Hana Chockler et al.

22 apr 2009

Preț: 330^.42 lei 413^.03 lei

6-8 săpt.

-20%

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

Preț: 340^.64 lei 425^.81 lei

6-8 săpt.

-20%

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1427

Editat de Alan J. Hu et al.

3 iun 1998

Preț: 658^.84 lei 823^.56 lei

6-8 săpt.

-20%