Revista: | Ciencias matemáticas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000179106 |
ISSN: | 0256-5374 |
Autors: | Garcés Calvelo, Alejandro1 Mantilla Belett, Magali |
Institucions: | 1Universidad de Oriente, Departamento de Ciencia de la Computación, Santiago de Cuba. Cuba |
Any: | 2001 |
Volum: | 19 |
Número: | 1 |
Paginació: | 80-88 |
País: | Cuba |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Matemáticas, Ciencias de la computación |
Paraules clau: | 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 |
Solicitud del documento | |