Browsing by Subject Ingeniería del software
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
| 20-Feb-2018 | Instituto de Medicina Tropical Dr. Félix Pifano | Alarcon de Noya, Belkisyole; Arrechedera Zamorano, Héctor Augusto; Wide, Albina; Mendoza, Ivan; Chacón, Nathalie; Carrasco, Hernán José; Noya, Oscar; Abate Polanco, Teresa del Carmen; Rodriguez, Francisco Alexis; Torres Rojas, Jaime Rafael |
| 2009 | MODABC: Modelación de diseño arquitectónico basado en aspectos de calidad | Losavio, Francisca |
| 2008 | Utilización de un asistente Coq para la demostración de teoremas en la teoría de lenguajes formales y síntesis de programas | Salas Oliveros, Jorge Filadelfo |
Showing results 1 to 3 of 3