Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Baaz, Matthias (1)
- Baresi, Luciano (1)
- Bjorner, Dines (1)
- Clarke, Edmund M. (1)
- Dalen, Dirk (1)
- Dowek, Guilles (1)
- Groote, Philippe (1)
- Grumberg, Orna (2)
- Heering, Jan (2)
- Hindley, James Roger (1)
- Meinke, Karl (2)
- Moniz Pereira, Luís (1)
- Möller, Bernhard (2)
- Nivat, Maurice (2)
- Nordström, Bengt (1)
- Plotkin, Gordon (1)
- Rodríguez-Artalejo, ... (1)
- Smith, Jan M. (1)
- Wirth, Niklaus (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (52)
- Tesis de Doctorado (1)
- Trabajo Especial de Grado (1)
-
Ubicaciones
- Secc. Tesis y Trabajos especiales (1)
- Sección Computación (19)
- Sección Lecture Notes (33)
- Vitrina (1)
-
Series
-
Temas
- Analysis of algorith... (6)
- Análisis de algoritm... (5)
- Computation by abstr... (5)
- Deducción y prueba d... (10)
- Deduction and theore... (10)
- Formal languages (29)
- Ingeniería de softwa... (7)
- Lenguajes de program... (9)
- Lenguajes formales (24)
- Logics and meanings ... (39)
- Lógica de programas (5)
- Lógica matemática (25)
- Lógica y significado... (39)
- Mathematical logic (34)
- Programming language... (11)
- Programming techniqu... (6)
- Significado de progr... (5)
- Software engineering (14)
- Special-purpose and ... (5)
- Verificacción de pro... (5)
- Mostrar más
- Mostrar menos