Pasar al contenido principal
Institucional
Presentación
Autoridades
Identidad Visual
Gestión administrativa
Comisiones de cogobierno
Normativa y formularios
Datos, evaluaciones y perspectivas
Síntesis histórica
Relaciones internacionales
Historial de medidas COVID-19
Organizaciones
Institutos
Agrimensura
Computación
Departamento de Inserción Social del Ingeniero
Estructuras y Transporte
Ensayo de Materiales
Física
Ingeniería Eléctrica
Ingeniería Mecánica y Producción Industrial
Ingeniería Química
Matemática y Estadística
Mecánica de los Fluidos e Ingenieria Ambiental
Enseñanza
Bedelía
Carreras de grado
Carreras en el Interior
Orientación y consulta
Posgrado y Educación Permanente
Biblioteca
Unidad de Enseñanza
Sitio de EVA
Generación de ingreso
Futuros estudiantes
Extensión
Presentación
Cometidos
Actividades
Asesoramiento
Materiales de cursos
Cajón de Ideas
Llamados
Investigación
Actividades de la Institución
Proyectos contra Covid
Servicios al medio
Convenios
CSIC
Comunicación
Área de Comunicación
Archivo de noticias
Eventos
Resumen de noticias
Identidad visual
Divulgación
Convocatorias y becas
Publicaciones
Galerías de fotos
Llamados a concurso
Visitas y charlas
Teléfonos
Contacto
Instituto de Computación
Iniciar sesión
Cursos
Docentes
Grupos académicos
Biblioteca
Contacto
PSPdc: An Adaptation of the PSP to Incorporate Verified Design by Contract
Instituto o Unidad
INCO
PSPdc-AnAdaptationPSPIncorporateVerifiedDesignByContract.pdf
(182.86 KB)
