Refinar su búsqueda
Disponibilidad
-
Autores
- Blanco, Javier Oscar (3)
- Camilleri, Albert (1)
- Cherini, Renato (1)
- Chlipala, Adams (1)
- Fridlender, Daniel E... (2)
- Gunther, Emmanuel (1)
- Jones, Neil D. (1)
- Katoen, Joost-Pieter (1)
- Kroening, Daniel (1)
- Kunz, César Darío (1)
- Lima Ventura, Daniel (1)
- Moisset de Espanes, ... (1)
- Müller-Olm, Markus (1)
- Nipkow, Tobias (1)
- Pagano, Miguel María (1)
- Paulson, Lawrence C. (1)
- Rodríguez, Leonardo ... (1)
- Soldevila Raffa, Mal... (1)
- Srivas, Mandayam (1)
- Strichman, Ofer (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (6)
- Tesis de Doctorado (1)
- Trabajo Especial de Grado (6)
-
Ubicaciones
- Depósito Interno (4)
- Secc. Tesis y Trabajos especiales (6)
- Sección Computación (3)
- Sección Lecture Notes (3)
- Vitrina (1)
-
Series
-
Temas
- Asistencia de diseño... (1)
- Concurrent programmi... (1)
- Data storage represe... (1)
- Data structures (2)
- Design aids (2)
- Estructura de datos (2)
- Formal definitions a... (2)
- History of computati... (1)
- Language constructs ... (2)
- Lenguajes de program... (1)
- Mathematical logic (2)
- Mathematical logic-C... (1)
- Modes of computation (1)
- Object-oriented prog... (1)
- Program verification (5)
- Reasoning about prog... (2)
- Semantics of program... (2)
- Software/Program ver... (2)
- Specifying and verif... (5)
- Specifying and verif... (2)
- Mostrar más
- Mostrar menos