Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Edición de la obra Formal Methods in Computer-Aided Design
| Autor | Alan J. Hu, Andrew K. Martin |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540304944 |
| Número de Cutter | H874f |