Vista normal Vista MARC Vista ISBD

A roadmap for formal property verification /

Dasgupta, Pallab,

A roadmap for formal property verification / by Pallab Dasgupta - xiii, 251 páginas : ilustraciones

ISBN: 1402047576 (empastado, cubierta dura)

Subjects--Topical Terms:
Circuitos integrados--Verificación

LC Class. No.: TK7874.58 / D37

Dewey Class. No.: 621.3815

Universidad Nacional Autónoma de MéxicoFacultad de Ingeniería. Educación Continua y a DistanciaCatálogo de la Biblioteca "Ing. Bruno Mascanzoni"

A roadmap for formal property verification /

Universidad Nacional Autónoma de México
Facultad de Ingeniería. Educación Continua y a Distancia
Catálogo de la Biblioteca "Ing. Bruno Mascanzoni"