Pasar al contenido principal
×
Idioma del sitio
Restaurar
Búscar
Menú Principal
Inicio
Acerca de
Historia, Misión y Visión
Organización
Docentes
Normativa
Oferta académica
Maestría académica
Maestría profesional
Doctorado
Cursos
Cursos del ciclo actual
Oferta de cursos para prematricula
Oferta de cursos para prematrícula (Recinto de Guápiles)
Lista total de cursos
Histórico de cursos por ciclo
Noticias
Eventos
Vida estudiantil
Costos y Becas
Recursos
Sitios de interés
Contacto
Ruta de navegación
Inicio
Acerca de
Docentes
Ignacio Trejos
Ignacio Trejos
Correo electrónico:
itrejos@itcr.ac.cr
Grado académico:
Maestría Académica
Rol:
Docente
Cursos Impartidos
PF3377 - Métodos formales para especificación de sistemas
:
I Ciclo 2019
Image
Inicio
Acerca de
Noticias
Eventos
Vida estudiantil
Docentes
Oferta académica
Contacto
Correo electrónico
pci.sep@ucr.ac.cr
Teléfono
(506) 2511-8017
Sitios relacionados
Sistema de Estudios de Posgrado (SEP)
Escuela de Ciencias de Computación e Informática (ECCI)
Centro de Investigaciones en Tecnologías de la Información y Comunicación (CITIC)
