Refinar su búsqueda
Disponibilidad
-
Autores
- Abrial, Jean-Raymond (1)
- Alur, Rajeev (1)
- Bowen, Jonathan Pete... (2)
- Börger, Egon (1)
- Coppo, Mario (1)
- Cousot, Radhia (1)
- Darte, Alain (1)
- Eisenbach, Susan (1)
- Feijs, Loe M. G. (1)
- Haveraaen, Magne (1)
- Hinchey, Michael Ger... (1)
- Jonkers, H. B. M. (1)
- Maler, Oded (1)
- Owe, Olaf (1)
- Parrow, Joachim (1)
- Partsch, Helmut A. (1)
- Pfitzmann, Birgit (1)
- Proietti, Maurizio (1)
- Tarlecki, Andrzej (1)
- Waldinger, Richard (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (31)
-
Ubicaciones
- Sección Computación (10)
- Sección Lecture Notes (21)
-
Series
-
Temas
- Automatic programmin... (4)
- Distributed systems (4)
- Ingeniería de softwa... (6)
- Mathematical logic (3)
- Programación automát... (4)
- Programación-Técnica... (5)
- Programas-Especifica... (30)
- Programas-Verificaci... (20)
- Programming techniqu... (5)
- Programs-Specificati... (29)
- Programs-Verificatio... (21)
- Semantics of program... (4)
- Semántica de lenguaj... (3)
- Sistemas distribuido... (4)
- Software engineering (6)
- Software-Requeriment... (4)
- Software-Requerimien... (6)
- Special-purpose and ... (3)
- Mostrar más
- Mostrar menos