Formal Methods in Computer-Aided Design
4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, Proceedings
Edición de la obra Formal Methods in Computer-Aided Design
| Autor | Mark D. Aagaard, John W. O'Leary |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| Páginas | 408 |
| ISBN-13 | 9783540361268 |
| Número de Cutter | A111f |