Introduction to formal hardware verification /
No. de Sistema: ( 269759 ) Clasificación LC: ( TK7874.75 .K7 1999)
ISBN: ( 3540654453 (acidfree paper) )
Autor: Kropf, Thomas, 1961-
Título: Introduction to formal hardware verification /
Responsabilidad: Thomas Kropf.
Pie de imprenta: Berlin ; New York : Springer, 1999
Descripción física: ix, 299 p. : il., gráf. ; 25 cm.
Incluye referencias bibliográficas.
Integrated circuits-Computeraided design-Very large scale integration Circuitos integrados-Diseño asistido por computador-Integración a muy gran escala Circuitos integrados-Verificación
Ítems:
Código de barras: [ 090953 ] Biblioteca: [ Biblioteca Magna ] Colección/Fondo: [Acervo General] Tipo de ítem: [ 01-Préstamo Interno (Libros) ]
ISBN: ( 3540654453 (acidfree paper) )
Autor: Kropf, Thomas, 1961-
Título: Introduction to formal hardware verification /
Responsabilidad: Thomas Kropf.
Pie de imprenta: Berlin ; New York : Springer, 1999
Descripción física: ix, 299 p. : il., gráf. ; 25 cm.
Incluye referencias bibliográficas.
Temas - Términos temáticos (Subjects--Topical Terms):
Ítems:
Código de barras: [ 090953 ] Biblioteca: [ Biblioteca Magna ] Colección/Fondo: [Acervo General] Tipo de ítem: [ 01-Préstamo Interno (Libros) ]