Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
- Libro (1)
- Trabajo Especial de Grado (3)
-
Ubicaciones
-
Series
- Lecture notes in com... (1)
- LNCS (1)
-
Temas
- Concurrent programmi... (1)
- Data structures (1)
- Estructura de datos (1)
- History of computati... (1)
- Language classificat... (1)
- Language constructs ... (1)
- Lenguajes de program... (1)
- Logics and meanings ... (1)
- Modes of computation (1)
- Operational semantic... (1)
- Program verification (2)
- Reasoning about prog... (1)
- Semantics of program... (2)
- Semántica operaciona... (1)
- Software (2)
- Specifying and verif... (1)
- Specifying, verifyin... (2)
- Theory of computatio... (1)
- Mostrar más
- Mostrar menos