Teoría de la Computación y Verificación de Programas Avanzada
Material type:
TextPublication details: 2019Description: 1 archivo (115 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 | P15F04_19E (Browse shelf(Opens below)) | Available | DIF-E0458 | ||||
|
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)
| P15CNC_19E Conceptos de Organización de Computadoras | P15CNE_19E Expresión de Problemas y Algoritmos | P15CNM_19E Matemática 0 | P15F04_19E Teoría de la Computación y Verificación de Programas Avanzada | P15F36_18E Tecnologías para la Web Social Semántica | P15F36_19E Tecnologías para la Web Social Semántica | P15I04_15E Bases de Datos Distribuidas |
Carrera: Lic. en Informática Plan 2003-07, 2012, 2015 -- Año: 4° -- Duración: semestral -- Carácter: optativa.