Un método de construcción de programas imperativos a partir de especificaciones algebraicas
Document title: Un método de construcción de programas imperativos a partir de especificaciones algebraicas
Journal: Acta científica venezolana
Database: PERIÓDICA
System number: 000204181
ISSN: 0001-5504
Authors: 1
Institutions: 1Universidad Central de Venezuela, Escuela de Computación, Caracas, Distrito Federal. Venezuela
Year:
Volumen: 48
Number: 4
Pages: 199-210
Country: Venezuela
Language: Español
Document type: Artículo
Approach: Analítico
Disciplines: Ciencias de la computación,
Matemáticas
Keyword: Matemáticas aplicadas,
Desarrollo de software,
Programas imperativos,
Algebra,
Tipos de datos,
Modelación
Keyword: Computer science,
Mathematics,
Applied mathematics,
Software development,
Imperative programs,
Algebra,
Data types,
Modelling
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).