SABER UCV >
Buscar por Materia Ingeniería del software
Mostrando resultados 1 a 3 de 3
| Fecha de publicación | Título | Autor(es) | | 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 |
Mostrando resultados 1 a 3 de 3
|
