Buscar
Mostrando ítems 111-120 de 10879
El futuro de la computación y del conocimiento
(Pontificia Universidad Católica del Perú. Departamento de CienciasPE, 2017)
Biblioteca de rutinas para fortan
(San Pedro Garza García: UDEM, 2021)
Clipper 5.01 a su alcance
(McGraw-HIll Interamericana de España, 1992)
Ofrece una visión completa de CLIPPER 5.01 y la forma de aumentar la velocidad en la gestión de todos los datos y ejecución de programas. Se incluyen numerosos ejemplos. Se abarca desde el uso de las funciones y órdenes, ...
Verificación formal de algoritmos fundamentales para la Industria
(Universidad ORT Uruguay, 2016)
En este trabajo se estudia una metodología formal para el desarrollo de programas, basada en la Lógica de Hoare, utilizando el lenguaje Dafny, que tiene un compilador-verificador para este formalismo. Se presenta el ...
Object-oriented programming in Turbo Pascal 5.5
(Addison-Wesley, 1989)
Turbo Pascal 5.5 es la nueva e importante versión orientada a objetos del compilador más vendido de Borland. Este libro permite a los programadores comprender completamente esta versión a través de ejemplos de programación ...
Modelo para la integración de paradigmas orientado-objetos y satisfacción de restricciones en un lenguaje visual
(Cali :Pontificia Universidad Javeriana,, 2019)
Modelo para la integración de paradigmas orientado-objetos y satisfacción de restricciones en un lenguaje visual
(Cali :Pontificia Universidad Javeriana,, 2019)
Introducción a la programación orientada a objetos
(Universidad Autónoma Metropolitana, Cuajimalpa, 2016)
Autodocumentador para código C++ con interfases HTML
(San Pedro Garza García: UDEM, 2021)