|
|
|
|
LEADER |
00869nam a2200265uu 4500 |
001 |
000091200 |
005 |
20081124160518.0 |
008 |
081117s2006 ne ||||| eng |
020 |
|
|
|a 9780387286013
|
035 |
|
|
|a 9213713
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 621.381.5
|b V341e
|2 22
|
100 |
1 |
|
|a Vasudevan, Srivatsa
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a Effective functional verification :
|b principles and processes /
|c by Srivatsa Vasudevan
|
260 |
|
|
|a Netherlands :
|b Springer,
|c c2006.
|
300 |
|
|
|a xxiv, 256 páginas :
|b ilustraciones
|
650 |
|
|
|a CIRCUITOS INTEGRADOS DIGITALES
|
650 |
|
|
|a MICROPROCESADORES
|
650 |
|
|
|a VERIFICACION
|
900 |
|
|
|a 2008
|
912 |
|
|
|a 24-NOV-2008 - SANCHEZ VELASQUEZ, AURA
|
917 |
|
|
|a 17-NOV-2008 - BUSTAMANTE MORA, CYNTHIA
|
949 |
|
|
|a ASV -CSA
|
916 |
|
|
|a Centro Catalográfico
|