Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Abrial, Jean-Raymond (1)
- Börger, Egon (3)
- Gurevich, Yuri (1)
- Langmaack, Hans (1)
- Meinke, Karl (1)
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (3)
-
Ubicaciones
-
Series
-
Temas
- Administración de si... (1)
- Computers and educat... (1)
- Deducción y prueba d... (1)
- Discrete mathematics (1)
- Distributed systems (1)
- Ingeniería de softwa... (1)
- Lenguajes de program... (1)
- Lenguajes formales (1)
- Lógica y significado... (1)
- Management of comput... (1)
- Matemática discreta (1)
- Programación-Técnica... (1)
- Programming language... (1)
- Programs-Specificati... (1)
- Programs-Verificatio... (1)
- Representación del c... (1)
- Sistemas distribuido... (1)
- Software engineering (1)
- Teoría de la computa... (1)
- Theory of computatio... (1)
- Mostrar más
- Mostrar menos