Auteur: Alan J. Hu

Support

2 Ebooks par Alan J. Hu

Couverture du 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
Anglais
DRM
€57.57
Couverture du 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 r …
PDF
Anglais
DRM
€57.65