Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”

Advanced formal verification /

Advanced formal verification / edited by Rolf Drechsler - xxv, 249 páginas : ilustraciones

1402077211 (papel alcalino)


Circuitos electrónicos--Pruebas
Árboles de decisión

TK7867 / A38


Universidad Nacional Autónoma de México 

Biblioteca "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad