Revista: | Computación y sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000171265 |
ISSN: | 1405-5546 |
Autors: | Katrib, Miguel1 Fernández, Damián |
Institucions: | 1Universidad de La Habana, Departamento de Ciencia de la Computación, La Habana. Cuba |
Any: | 1998 |
Període: | Jul-Sep |
Volum: | 2 |
Número: | 1 |
Paginació: | 35-48 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplines | Matemáticas, Ciencias de la computación |
Paraules clau: | Matemáticas aplicadas, Programación orientada a objetos, Aserciones, Java, Diseño por contratos, Cuantificadores lógicos |
Keyword: | Mathematics, Computer science, Applied mathematics, Object oriented programming, Assertions, Java, Design by contract, Logical quantifiers |
Solicitud del documento | |