Buscar
Mostrando ítems 21-30 de 23289
Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias
(UR. FI – INCO., 2005)
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado usando el asistente de pruebas Coq y conceptos del área de Teoría de Tipos. Proponemos un taller de especificación, ...
Sistemas de control distribuido y plc`s en aplicaciones industriales
(Universidad de La Salle. Facultad de Ingeniería. Ingeniería Eléctrica, 1996)
Resumen de la Presentación sobre el Sistema de Programación y Evaluación
(IICA, 1994)
El Sistema de Programación y Evaluación es el conjunto de mecanismos por medio de los cuales se asignan recursos presupuestarios, se identifican, formulan y aprueban actividades de cooperación para los países miembros en ...
Programación 2
(Universidad de Belgrano - Programas de las Materias - Carrera de Lic. en Sistemas de Información, 2015-07-13)
OBJETIVOS:
La asignatura comprende dos grandes áreas temáticas: a) programación orientada a objetos
y b) programación orientada a procesos. Ambas partes son independientes, por lo tanto
pueden ser enseñadas en forma ...
Biblioteca de rutinas para fortan
(San Pedro Garza García: UDEM, 2021)
Comparación de Visicalc, Supercalc y Calcstar
(San Pedro Garza García: UDEM, 2021)