Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy

Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy

Detalles Bibliográficos
Autor principal:	Cortés Ortiz, Juan Carlos
Otras Contribuciones:	Miranda Perea, Favio Ezequiel (Asesor)
Formato:	Tesis de licenciatura
Publicado:	México 2011
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000671423 https://tesiunamdocumentos.dgb.unam.mx/ptb2011/agosto/0671423/Index.html

Ejemplares similares

Métodos formales ligeros : especificación de un sistema de elevadores en el analizador Alloy
por: Jiménez del Valle, Rodrigo
Publicado: (2011)

Estudio de diversos metodos de especificacion formal de programas
por: Marquez Flores, Gustavo Arturo
Publicado: (1988)

Uso didáctico del correo electrónico
por: Velázquez Galicia, Gil
Publicado: (2013)

Diseno y construccion de un analizador electronico de actividad neuronal
por: Ortiz Marttelo, Alfredo, et al.
Publicado: (1987)

Reingeniería del servicio de correo electrónico en sistemas Linux
por: Sánchez López, José Alfredo
Publicado: (2008)

Efectos juridicos de las notificaciones por correo electronico
por: Lopéz Martínez, Juan
Publicado: (2005)

Sistema de administración de cuentas de correo electronico de REDUNAM
por: California Gonzalez, Humberto, et al.
Publicado: (2001)

Diseno y construccion de un analizador electronico de espectros de sonido
por: Davidoff Axelrod, Steven, Eduard
Publicado: (1976)

Sistema de correo electronico para una red de area local (LAN)
por: Heredia Barragan, Luis Martin
Publicado: (1995)

Sistema de envío y recepción de correo electrónico mediante mensajería celular
por: Granados Martínez, Fidel, et al.
Publicado: (2008)

Servicio de correo electronico con LDAP y QMAIL
por: Castillo Pavia, Andrés Armando
Publicado: (2004)

Correo electronico para los alumnos de la UNAM
por: Reyes Castillo, Enrique
Publicado: (2005)

Desarrollo de un sistema de correo electronico para una empresa de transportacion naviera
por: Valle López, Alfonso Antonio
Publicado: (1992)

Administracion del Sistema de Correo Electronico de los Alumnos de la UNAM
por: Rodriguez Gomez, Luis Miguel
Publicado: (2007)

Evolucion del correo electronico perspectivas hacia el ambiente inalambrico
por: Ávila García, Eric, et al.
Publicado: (2001)

Desarrollo de correo electronico en una red TCP/IP
por: Vargas López, Ricardo
Publicado: (2002)

Instalacion y configuracion de un servidor de correo electronico bajo el sistema operativo Linux
por: Ceja Leon, Gonzalo
Publicado: (1997)

Obtención de hechos en correos electrónicos utilizando procesamiento de lenguaje natural
por: Díaz Reyes, Juan Iván
Publicado: (2025)

Atomic structure and properties of amorphous, liquid and amorphous porous Cu-Zr alloys by ab initio simulations
por: Galván Colín, Jonathan
Publicado: (2016)

Especificacion formal e implantacion de un protocolo por difusion tolerante a fallas
por: Vallejo Gutierrez, José Refugio
Publicado: (1993)

Especificación formal de un protocolo criptográfico de intercambio de información entre blockchains
por: Soto Corderi, Sandra del Mar
Publicado: (2025)

Automatizacion de un sistema analizador multicanal
por: López Yanez, Enrique
Publicado: (1986)

Diseno e implementacion de un correo electronico para IBM-PC y compatibles
por: Alvarez Gual, José Del Carmen, et al.
Publicado: (1988)

Exhorto, vía correo electrónico en el Tribunal Federal de Conciliación y Arbitraje
por: Molina Velasco, Juan José
Publicado: (2008)

Analysis of dendritic growth in casting alloys a356 with Cu and modified with sr, by : optical microscopy, poles figures
por: Hernández García, Aline
Publicado: (2010)

Synthesis and characterization of bio-inspired hybrid coating: bio-hydroxyapatite /synthetic hydroxyapatite on titanium alloy (grade 5)
por: Zubieta Otero, Luis Fernando
Publicado: (2024)

Structural, electronic, and thermodynamic properties of complex materials : simulation of the binary alloys AuAg, CuBi, and BN
por: Hinojosa Romero, David
Publicado: (2023)

Especificacion formal de un modelo conceptual para bases de datos orientadas a objetos
por: Montero Mejia, Emma Cecilia
Publicado: (1987)

Especificacion formal de un modelo conceptual para bases de datos orientados a objetos
por: Montero Mejia, Emma Cecilia
Publicado: (1987)

Redes de computadora servicios de internet para dispositivos moviles correo electronico
por: Roldan Ramirez, Gabriela
Publicado: (2001)

Reestructuracion institucional del servidor central de correo electronico de la UNAM
por: García Pérez, Leticia, et al.
Publicado: (2002)

Estudio comparativo de analizadores de facil elaboracion con el analizador Ney
por: García Ortiz, Lucia Irene, et al.
Publicado: (1985)

Aplicacion del sistema de videoconferencias y correo electronico en la carrera de licenciado en administración
por: Enciso Montenegro, Juana
Publicado: (2000)

Sistema de correo electronico : diseñado para la Contraloria Interna de la S.H.C.P.
por: Hernandez Ramirez, Veronica
Publicado: (2000)

Diseño e implementacion de un prototipo para mejorar el sistema de correo electronico de la DGSCA-UNAM
por: Lugo Rojas, Esther
Publicado: (2004)

La interposición del recurso de revocación en materia fiscal vía correo electrónico
por: Barrueta Brena, Rodolfo
Publicado: (2008)

Proyecto para la migración del servicio de correo electrónico a cloud computing
por: Vázquez Villegas, Iván, et al.
Publicado: (2012)

Un analizador sintactico visto como un sistema de inferencia
por: Romero Martinez, Jesus
Publicado: (1995)

Diseno de un analizador logico
por: Saavedra Rubio, Agustin
Publicado: (1983)

Implementacion de una lista de discusion en linea a traves de correo electronico
por: Sanjuan Perez, Claudia
Publicado: (2000)