Alan J. Hu - Böcker

Visar alla böcker från författaren Alan J. Hu.

3 produkter

Kategorier

3 produkter

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Av Alan J. Hu, Andrew K. Martin

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Alan J. Hu, Moshe Y. Vardi m. fl

Häftad, Engelska, 1998

1 449 kr

Skickas inom 10-15 vardagar

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Av Hana Chockler, Alan J. Hu

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar