Symbolic Simulation Methods for Industrial Formal Verification
Edición de la obra Symbolic Simulation Methods for Industrial Formal Verification
| Autor | Robert B. Jones |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 30, 2002 |
| Idioma | inglés |
| Páginas | 176 |
| Formato | Hardcover |
| ISBN-13 | 9781402071034 |
| ISBN-10 | 1402071035 |
| Número de Cutter | J78s |