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