Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Davie, Antony J. T. (1)
- Franek, Frantisek (1)
- Harper, Robert (1)
- Hoek, Wiebe van der (1)
- Manes, Ernest G. (1)
- Meyer, J-J. CH (1)
- Mitchell, John C. (1)
- Mosses, Peter D. (1)
- Paulson, Lawrence C. (1)
- Reynolds, John C. (1)
- Spivey, J. Michael (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (12)
-
Ubicaciones
- Sección Computación (12)
-
Series
-
Temas
- Applicative programm... (2)
- Data storage represe... (1)
- Data structures (1)
- Estructuras de datos (1)
- Formal definitions (1)
- Ingeniería de softwa... (1)
- Lenguajes de program... (7)
- Lógica y significado... (1)
- Mathematical logic-C... (1)
- Mathematical logics (1)
- Memory mangement (1)
- Procesamiento electr... (1)
- Programación-Técnica... (1)
- Programming language... (10)
- Semantics (1)
- Semantics of program... (3)
- Semántica de lenguaj... (2)
- Theory of computatio... (1)
- Mostrar más
- Mostrar menos