Alan J. Hu – författare
Visar alla böcker från författaren Alan J. Hu.
3 produkter
3 produkter
Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Häftad, Engelska, 2004
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Häftad, Engelska, 1998
1 429 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
Häftad, Engelska, 2009
719 kr
Skickas inom 10-15 vardagar