|
|
|
|
| LEADER |
01184nam a2200289uu 4500 |
| 001 |
000005216 |
| 005 |
20100614133207.0 |
| 008 |
100409s2009 cr ||||| spa |
| 035 |
|
|
|a 9258301
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a spa
|
| 099 |
|
9 |
|a TFG 31149
|
| 100 |
1 |
|
|a Berrocal Rojas, Allan Francisco
|d 1980-
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Automatización parcial de la revisión de aspectos de precisión, no-ambiguedad y verificabilidad en requerimientos de software escritos en lenguaje natural /
|c Allan Francisco Berrocal Rojas
|
| 260 |
|
|
|a [San José], C.R.,
|c 2009.
|
| 300 |
|
|
|a xxi, 178 hojas
|
| 502 |
|
|
|a Tesis (magister scientiae en computación e informática)--Universidad de Costa Rica. Sistema de Estudios de Posgrado, 2009
|
| 650 |
|
|
|a PROCESAMIENTO DEL LENGUAJE NATURAL (CIENCIAS DE LA COMPUTACION)
|
| 650 |
|
|
|a PROGRAMAS PARA COMPUTADORA
|
| 650 |
|
|
|a AVIACION
|
| 900 |
|
|
|a 2010 may
|
| 912 |
|
|
|a 14-JUN-2010 - CRUZ BARRANTES, MARIA AUXILIADORA
|
| 917 |
|
|
|a 09-APR-2010 - BARQUERO CERDAS, MARTHA LIGIA
|
| 949 |
|
|
|a CSA -EMQ
|
| 916 |
|
|
|a Centro Catalográfico
|
| 919 |
|
|
|a Ingeniería
|
| 921 |
|
|
|a tesis de maestría
|