Formal methods for VLSI design
IFIP WG 10.5 lecture notes
Edición de la obra Formal methods for VLSI design
| Autor | J. Staunstrup |
|---|---|
| Editorial | North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co. |
| Fecha de publicación | 1990 |
| Lugar | Amsterdam, New York, New York, N.Y., U.S.A |
| Idioma | inglés |
| Páginas | 329 |
| ISBN-10 | 0444888586 |
| OCLC | 22452177 |
| LCCN | 90048107 |
| Número de Cutter | S798f |