Alan J. Hu – författare
Visar alla böcker från författaren Alan J. Hu. Handla med fri frakt och snabb leverans.
5 produkter
Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Av Alan J. Hu, Andrew K. Martin
Häftad, 2004
566 kr
Lägg i varukorg
These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized …
Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Av Andrew K. Martin, Alan J. Hu
E-bok, 2005
755 kr
Lägg i varukorg
Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Häftad, 1998
1126 kr
Lägg i varukorg
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included …
Hardware and Software: Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Häftad, 2009
566 kr
Lägg i varukorg
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 researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software …
Hardware and Software: Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
E-bok, 2009
739 kr
Lägg i varukorg
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 researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software …
