|
|
|
|
| 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
|