dor_id: 194227

506.#.#.a: Público

502.#.#.a: Licenciatura

650.#.4.x: Físico Matemáticas y Ciencias de la Tierra

336.#.#.b: bachelorThesis

336.#.#.3: Tesis de licenciatura

336.#.#.a: Trabajo de grado

351.#.#.6: http://oreon.dgbiblio.unam.mx/F?RN=993413179

351.#.#.b: TESIUNAM

351.#.#.a: Tesis

harvesting_group: TesiUNAM

270.1.#.p: Dirección General de Bibliotecas, UNAM en http://www.dgb.unam.mx/index.php/quienes-somos/dudas-y-comentarios

590.#.#.c: DSpace

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://ru.dgb.unam.mx/

883.#.#.a: Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

590.#.#.a: Administración central

883.#.#.1: http://dgb.unam.mx/

883.#.#.q: Dirección General de Bibliotecas y Servicios Digitales de Información

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://132.248.9.195/pmig2017/0077310/0077310.pdf

100.1.#.a: Marquez Flores, Gustavo Arturo

524.#.#.a: Marquez Flores, Gustavo Arturo. (1988). "Estudio de diversos metodos de especificacion formal de programas". (Tesis de Licenciatura). Universidad Nacional Autónoma de México, México. Recuperado de https://repositorio.unam.mx/contenidos/194227

720.#.#.a: Ibarguengoitia González, María Guadalupe Elena asesor

245.1.0.a: Estudio de diversos metodos de especificacion formal de programas

502.#.#.b: Licenciatura en Actuaría

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Facultad de Ciencias, UNAM

264.#.0.c: 1988

264.#.1.c: 1988

307.#.#.a: 2019-01-30

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a Marquez Flores, Gustavo Arturo. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 1988, para un uso diferente consultar al responsable jurídico del repositorio en bidi@dgb.unam.mx

884.#.#.k: https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000077310

041.#.7.h: spa

handle: 00c06e08220fd7b1

harvesting_date: 2019-02-19 17:15:00.0

856.#.0.q: application/pdf

last_modified: 2020-06-22 23:35:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2

Trabajo de grado

Estudio de diversos metodos de especificacion formal de programas

Marquez Flores, Gustavo Arturo

Facultad de Ciencias, UNAM, Tesis, y cosechado de Repositorio de la Dirección General de Bibliotecas y Servicios Digitales de Información

Licencia de uso

Procedencia del contenido

Cita

Marquez Flores, Gustavo Arturo. (1988). "Estudio de diversos metodos de especificacion formal de programas". (Tesis de Licenciatura). Universidad Nacional Autónoma de México, México. Recuperado de https://repositorio.unam.mx/contenidos/194227

Descripción del recurso

Autor(es)
Marquez Flores, Gustavo Arturo
Asesor(es)
Ibarguengoitia González, María Guadalupe Elena asesor
Tipo
Tesis de licenciatura
Área del conocimiento
Físico Matemáticas y Ciencias de la Tierra
Título
Estudio de diversos metodos de especificacion formal de programas
Fecha
1988
Grado
Licenciatura en Actuaría

Enlaces