|
|
|
|
LEADER |
00895nam a2200265uu 4500 |
001 |
000055093 |
005 |
20100202152753.0 |
008 |
091106s2009 xxu ||||| eng |
035 |
|
|
|a 9246228
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 003
|b L819a
|2 22
|
100 |
1 |
|
|a Lo Chi Yu Lo, Lucky
|e Autor/a
|4 aut
|
245 |
1 |
0 |
|a Automatic generation and verification of transaction level models /
|c Lucky Lo Chi Yu Lo
|
260 |
|
|
|a Irvine, Calif.,
|c 2009.
|
300 |
|
|
|a xx, 160 hojas :
|b ilustraciones
|
500 |
|
|
|a Tesis (doctorado)--University of California, 2009
|
650 |
|
|
|a DISEÑO DE SISTEMAS
|
650 |
|
|
|a ANALISIS DE SISTEMAS
|
650 |
|
|
|a ELECTRONICA DIGITAL
|
900 |
|
|
|a 2010 feb
|
912 |
|
|
|a 02-FEB-2010 - CALDERON ZUÑIGA, ANA CRISTINA
|
917 |
|
|
|a 06-NOV-2009 - BUSTAMANTE MORA, CYNTHIA
|
949 |
|
|
|a CSA -CSA
|
916 |
|
|
|a Centro Catalográfico
|