Alan J. Hu – författare

Visar alla böcker från författaren .

3 produkter

Kategorier

3 produkter

Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
AvAlan 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
AvAlan J. Hu,Moshe Y. Vardi
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
AvHana Chockler,Alan J. Hu
Häftad, Engelska, 2009
729 kr
Skickas inom 10-15 vardagar