Teoría de la Computación y Verificación de Programas
Material type:
TextPublication details: 2019Description: 1 archivo (163,2 KB)Subject(s): Online resources:
| Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Programa de materia/seminario
|
Biblioteca de la Facultad de Informática | P15OI401_19E (Browse shelf(Opens below)) | Available | DIF-E0443 | ||||
|
Programa de materia/seminario
|
Biblioteca de la Facultad de Informática | Biblioteca digital | Link to resource | Recurso en Línea |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| P15OI309_15E Computabilidad y Complejidad | P15OI401_15E Teoría de la Computación y Verificación de Programas | P15OI401_18E Teoría de la Computación y Verificación de Programas | P15OI401_19E Teoría de la Computación y Verificación de Programas | P15OI402_18E Laboratorio de Software | P15OI402_19E Laboratorio de Software | P15OI405_15E Programación Distribuida y Tiempo Real |
Carrera: Lic. en Informática Plan 2003-07, 2012, 2015; Licenciatura en Sistemas Planes 2015, 2012, 2003-07 -- Año: 4° -- Duración: semestral -- Materia optativa para la Lic. en Sistemas.