Formal Methods in Computer-Aided Design | 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings | ISBN 9783540237389

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

herausgegeben von Alan J. Hu und Andrew K. Martin
Mitwirkende
Herausgegeben vonAlan J. Hu
Herausgegeben vonAndrew K. Martin
Buchcover Formal Methods in Computer-Aided Design  | EAN 9783540237389 | ISBN 3-540-23738-0 | ISBN 978-3-540-23738-9

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

herausgegeben von Alan J. Hu und Andrew K. Martin
Mitwirkende
Herausgegeben vonAlan J. Hu
Herausgegeben vonAndrew K. Martin
Includes supplementary material: sn. pub/extras