Автор: Alan J. Hu

Підтримка

2 Електронні книги від Alan J. Hu

Обкладинка 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
Англійська
DRM
€57.57
Обкладинка 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
Англійська
DRM
€57.65