|
|
|
|
| LEADER |
01397nam a2200361 u 4500 |
| 001 |
000274402 |
| 005 |
20240207144610.0 |
| 008 |
190308s2018 cr |sm 00| ||spa d |
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 090 |
|
|
|a TF 8364
|
| 100 |
1 |
|
|a Rojas-Chacón, Daniel
|
| 245 |
1 |
0 |
|a Diseño de un ambiente de verificación basado en la metodología UVM para un microprocesador RISC-V 321 /
|c Daniel Rojas-Chacón.
|
| 260 |
|
|
|a Cartago, Costa Rica :
|b D. Rojas Ch.,
|c 2018.
|
| 300 |
|
|
|a 1 disco de computadora :
|b diagramas, gráficas, tablas.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a disco de computadora
|b cd
|2 rdaportador
|
| 502 |
|
|
|a Proyecto de graduación
|b (Licenciatura en Ingeniería Electrónica)
|c Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica,
|d 2018.
|
| 504 |
|
|
|a Bibliografía
|
| 590 |
|
|
|a ITCR
|
| 590 |
|
|
|a COTA
|
| 590 |
|
|
|a CSUCA
|
| 590 |
|
|
|a ELEC
|
| 610 |
2 |
4 |
|a Instituto Tecnológico de Costa Rica
|
| 650 |
1 |
7 |
|a Verificación de programas
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Señales
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Diseño
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Pruebas
|x Dispositivos
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Sistemas electrónicos
|2 Tesauro SIBITEC
|
| 651 |
|
4 |
|a Costa Rica
|z Cartago
|
| 655 |
|
4 |
|a Tesis
|
| 902 |
|
|
|a Lisandro
|b 2019/03/21
|
| 904 |
|
|
|a Luis Fdo
|b 2024/02/07
|