Refinar su búsqueda
Disponibilidad
-
Autores
- Dowek, Guilles (1)
- Heering, Jan (1)
- Meinke, Karl (1)
- Möller, Bernhard (2)
-
Tipos de ítem
- Libro (2)
-
Ubicaciones
-
Series
- Lecture notes in com... (2)
- LNCS (2)
-
Temas
- Analysis of algorith... (1)
- Análisis de algoritm... (1)
- Formal languages (2)
- Ingeniería de softwa... (1)
- Lenguajes formales (2)
- Logics and meanings ... (2)
- Lógica matemática (2)
- Lógica y significado... (2)
- Mathematical logic (2)
- Programación-Técnica... (1)
- Programming techniqu... (1)
- Software engineering (1)
- Mostrar más
- Mostrar menos