Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
- Libro (1)
- Tesis de Doctorado (2)
- Trabajo Especial de Grado (1)
-
Ubicaciones
- Depósito Interno (1)
- Secc. Tesis y Trabajos especiales (1)
- Sección Computación (1)
- Vitrina (2)
-
Temas
- Compilers (1)
- Expresiones de naveg... (1)
- Formal methods (1)
- Ingeniería de softwa... (2)
- Logic of programs (1)
- Logics and meanings ... (1)
- Lógica de programas (1)
- Lógica y significado... (1)
- Meanings of programs (1)
- Operadores de mutaci... (1)
- Reparación de progra... (1)
- Significado de progr... (1)
- Software and its eng... (2)
- Software verificatio... (2)
- Software verificatio... (1)
- Teoría de conjuntos (1)
- Theory of computatio... (1)
- Type Theory (1)
- Verificacción de pro... (1)
- Verifying programs (1)
- Mostrar más
- Mostrar menos