Imagen de Amazon.com
Imagen de OpenLibrary
Introduction to formal hardware verification / Thomas Kropf.
Tipo de material:
TextoDetalles de publicación: Berlin ; New York : Springer, 1999Descripción: ix, 299 p. : il., gráf. ; 25 cmISBN: - 3540654453 (acidfree paper)
- TK7874.75 .K7 1999
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|---|
01-Préstamo Interno (Libros)
|
Biblioteca Magna a | Acervo General | TK7874.75 .K7 1999 | V. 1 Ej. 01 | Disponible | Préstamo interno (etiqueta naranja) | 090953 |
Incluye referencias bibliográficas.