Especificacion formal en el diseno de programas
Document title: Especificacion formal en el diseno de programas
Journal: Comunicaciones técnicas. Serie azul, monografías - Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas. UNAM
Database: PERIÓDICA
System number: 000012340
Authors: 1
Institutions: 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
Year:
Number: 107
Pages: 1-41
Country: México
Language: Español
Document type: Monografía
Approach: Analítico, descriptivo
Disciplines: Ciencias de la computación,
Matemáticas
Keyword: Programación,
Matemáticas aplicadas,
Algebra,
Lenguajes,
Especificacion formal
Keyword: Computer science,
Mathematics,
Programming,
Applied mathematics,
Algebra,
Languages,
Formal specification
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).