Cargando...
Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
| Formato: | Printed Book |
|---|---|
| Idioma: | English |
| Publicado: |
Berlin:
Springer,
2002.
|
| Edición: | 1st ed. |
| Subjects: |