Digital system verification : a combined formal methods and simulation framework / Lun Li, Mitchell A. Thornton
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Libros Libros | Coleccion General | TK7874.58 L55 (Navegar estantería(Abre debajo)) | 1 | Disponible | 126655 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
TK7874.53 E55 Interconnect noise optimization in nanometer technologies / | TK7874.53 K87 Wireless interface technologies for 3D IC and module integration | TK7874.55 R48 Reuse-based methodologies and tools in the design of analog and mixed-signal integrated circuits / | TK7874.58 L55 Digital system verification : | TK7874.58 Y64 Verification of systems and circuits using LOTOS, Petri Nets, and CCS / | TK7874.65 A94 2010 Digital integrated circuits : | TK7874.65 C56 CMOS digital integrated circuits / |
No hay comentarios en este titulo.