Especificacion formal en el diseno de programas
Título del documento: Especificacion formal en el diseno de programas
Revista: Comunicaciones técnicas. Serie azul, monografías - Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas. UNAM
Base de datos: PERIÓDICA
Número de sistema: 000012340
Autores: 1
Instituciones: 1Universidad Nacional Autónoma de México, Facultad de Ciencias, México, Distrito Federal. México
2Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México
Año:
Número: 107
Paginación: 1-41
País: México
Idioma: Español
Tipo de documento: Monografía
Enfoque: Analítico, descriptivo
Disciplinas: Ciencias de la computación,
Matemáticas
Palabras clave: Programación,
Matemáticas aplicadas,
Algebra,
Lenguajes,
Especificacion formal
Keyword: Computer science,
Mathematics,
Programming,
Applied mathematics,
Algebra,
Languages,
Formal specification
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)