Alan J. Hu - Böcker

Visar alla böcker från författaren Alan J. Hu.
3 produkter
Alan J. Hu, Andrew K. Martin - Formal Methods in Computer-Aided Design, Häftad
Del 3312 - Lecture Notes in Computer Science

Formal Methods in Computer-Aided Design

Av Alan J. Hu, Andrew K. Martin

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar
Alan J. Hu, Moshe Y. Vardi, Moshe y. Vardi - Computer Aided Verification, Häftad
Del 1427 - Lecture Notes in Computer Science

Computer Aided Verification

Av Alan J. Hu, Moshe Y. Vardi, Moshe y. Vardi

Häftad, Engelska, 1998

1 449 kr

Skickas inom 10-15 vardagar
Hana Chockler, Alan J. Hu - Hardware and Software: Verification and Testing, Häftad

Hardware and Software: Verification and Testing

Av Hana Chockler, Alan J. Hu

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar