Estudio de diversos metodos de especificacion formal de programas
| Autor principal: | |
|---|---|
| Otras Contribuciones: | |
| Formato: | Tesis de licenciatura |
| Lenguaje: | Español |
| Publicado: |
1988
|
| Materias: | |
| Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000077310 http://132.248.9.195/pmig2017/0077310/Index.html |
| _version_ | 1777517211749974016 |
|---|---|
| author | Marquez Flores, Gustavo Arturo |
| author2 | Ibarguengoitia González, María Guadalupe Elena |
| author2_role | Asesor |
| author_facet | Ibarguengoitia González, María Guadalupe Elena Marquez Flores, Gustavo Arturo |
| author_sort | Marquez Flores, Gustavo Arturo |
| collection | DSpace |
| dc:degree.department | Facultad de Ciencias |
| dc:degree.department_facet | Facultad de Ciencias |
| dc:degree.grantor | Universidad Nacional Autónoma de México |
| dc:degree.level | Licenciatura |
| dc:degree.name | Licenciatura en Actuaría |
| dc:degree.name_facet | Licenciatura en Actuaría |
| dc:rights | http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones |
| format | Tesis de licenciatura |
| id | 20.500.14330-TES01000077310 |
| institution | Universidad Nacional Autónoma de México |
| language | Español |
| publishDate | 1988 |
| record_format | dspace |
| spelling | 20.500.14330-TES010000773102021-05-17T21:06:08Z Estudio de diversos metodos de especificacion formal de programas Marquez Flores, Gustavo Arturo Ibarguengoitia González, María Guadalupe Elena Ciencias Físico-Matemáticas e Ingenierías 1988 Tesis de licenciatura publishedVersion https://hdl.handle.net/20.500.14330/TES01000077310 http://132.248.9.195/pmig2017/0077310/Index.html 001-00321-M3-1988-2 spa http://creativecommons.org/licenses/by-nc-nd/4.0 Acceso en línea sin restricciones MX https://tesiunam.dgb.unam.mx/F?func=direct¤t_base=TES01&doc_number=000077310 Licenciatura en Actuaría Universidad Nacional Autónoma de México Facultad de Ciencias Licenciatura |
| spellingShingle | Ciencias Físico-Matemáticas e Ingenierías Marquez Flores, Gustavo Arturo Estudio de diversos metodos de especificacion formal de programas |
| title | Estudio de diversos metodos de especificacion formal de programas |
| title_full | Estudio de diversos metodos de especificacion formal de programas |
| title_fullStr | Estudio de diversos metodos de especificacion formal de programas |
| title_full_unstemmed | Estudio de diversos metodos de especificacion formal de programas |
| title_short | Estudio de diversos metodos de especificacion formal de programas |
| title_sort | estudio de diversos metodos de especificacion formal de programas |
| topic | Ciencias Físico-Matemáticas e Ingenierías |
| url | https://hdl.handle.net/20.500.14330/TES01000077310 http://132.248.9.195/pmig2017/0077310/Index.html |
| work_keys_str_mv | AT marquezfloresgustavoarturo estudiodediversosmetodosdeespecificacionformaldeprogramas |