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.