Journal: | Ciencias matemáticas |
Database: | PERIÓDICA |
System number: | 000179106 |
ISSN: | 0256-5374 |
Authors: | Garcés Calvelo, Alejandro1 Mantilla Belett, Magali |
Institutions: | 1Universidad de Oriente, Departamento de Ciencia de la Computación, Santiago de Cuba. Cuba |
Year: | 2001 |
Volumen: | 19 |
Number: | 1 |
Pages: | 80-88 |
Country: | Cuba |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Disciplines: | Matemáticas, Ciencias de la computación |
Keyword: | Matemáticas aplicadas, Programas computacionales, Validación, Algoritmos, Ingeniería de software, Semántica denotacional |
Keyword: | Mathematics, Computer science, Applied mathematics, Computing programs, Validation, Algorithms, Software engineering, Denotational semantics |
Document request | |