Refinar su búsqueda
Disponibilidad
-
Autores
- Alpern, Bowen (2)
- Blanco, Javier Oscar (1)
- Rafael, Jorge (1)
- Schneider, Fred B. (2)
-
Tipos de ítem
-
Ubicaciones
-
Temas
- Absolute liveness (1)
- Computación (1)
- Concurrency (1)
- Concurrent programmi... (1)
- Data structures (1)
- Estructura de datos (1)
- History of computati... (1)
- Language classificat... (1)
- Language constructs ... (1)
- Liveness (1)
- Modes of computation (1)
- Modos de Cómputo (1)
- Program verification (1)
- Safety (2)
- Semantics of program... (1)
- Software (1)
- Specifying, verifyin... (1)
- Topología (1)
- Uniform liveness (1)
- Mostrar más
- Mostrar menos