Författare: Alan J. Hu

Stöd

2 E-böcker av Alan J. Hu

Omslag till Alan J. Hu & Andrew K. Martin: Formal Methods in Computer-Aided Design
Alan J. Hu & Andrew K. Martin: Formal Methods in Computer-Aided Design
…
PDF
Engelska
DRM
€57.57
Omslag till Hana Chockler & Alan J. Hu: Hardware and Software: Verification and Testing
Hana Chockler & Alan J. Hu: Hardware and Software: Verification and Testing
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading …
PDF
Engelska
DRM
€57.83