مؤلف: 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