Introduction to Formal Hardware Verification /

Contenido: 1) Introducción; 2) Funciones booleanas; 3) Aproximación basada en maquinas de estado finito; 4) Lógica preposicional temporal; 5) Lógica de orden superior. Apéndices.

Gardado en:

Detalles Bibliográficos
Autor Principal:	Kropf, Thomas (autor)
Formato:	Libro
Idioma:	inglés
Publicado:	Berlín, Alemania : Springer 1999, c1999
Temas:	VLSI - > Diseño y Construcción - > Tema Principal Circuitos Integrados - > Prueba y Medición - > Tema Principal Circuitos Integrados - > Simulación por Computadora Diseño Lógico Ingeniería Computacional Ingeniería Electrónica
Etiquetas:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!

Introduction to Formal Hardware Verification /

Títulos similares