Autore: Alan J. Hu

Supporto

2 Ebook di Alan J. Hu

Copertina di 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
Inglese
DRM
€57.57
Copertina di 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
Inglese
DRM
€57.83