Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Alur, Rajeev (1)
- Antsaklis, Panos (1)
- Börger, Egon (1)
- Cook, Byron (1)
- Coppo, Mario (1)
- Cousot, Radhia (1)
- Darte, Alain (1)
- Dybjer, Peter (1)
- Eisenbach, Susan (1)
- Grundy, Jim (1)
- Jonsson, Bengt (1)
- Khoshnevisan, Hessam (1)
- Kohn, Wolf (1)
- Nordström, Bengt (1)
- Parrow, Joachim (1)
- Pfitzmann, Birgit (1)
- Proietti, Maurizio (1)
- Schmidt, Günter (1)
- Waldinger, Richard (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (21)
-
Ubicaciones
- Sección Computación (6)
- Sección Lecture Notes (15)
-
Series
-
Temas
- Automatic programmin... (4)
- Deducción y prueba d... (2)
- Diseño lógico (2)
- Distributed systems (3)
- Grammars and other r... (2)
- Ingeniería de softwa... (3)
- Logic programming (2)
- Lógica matemática (3)
- Mathematical logic (3)
- Programación automát... (4)
- Programación-Técnica... (4)
- Programas-Especifica... (20)
- Programas-Verificaci... (20)
- Programming techniqu... (4)
- Programs-Specificati... (19)
- Programs-Verificatio... (21)
- Sistemas distribuido... (3)
- Software engineering (3)
- Mostrar más
- Mostrar menos