Symbolic simulation methods for industrial formal verification
- Författare
- Robert Brent Jones
- (Robert B. Jones.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer | cop. 2002 | USA, Boston, Mass | xviii, 150 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer | cop. 2002 | USA, Boston, Mass | xviii, 150 sidor. ill. |