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)
- Dam, Mads (1)
- Darte, Alain (1)
- Dybjer, Peter (1)
- Eisenbach, Susan (1)
- Godefroid, Patrice (1)
- Kohn, Wolf (1)
- Manna, Zohar (2)
- Nordström, Bengt (1)
- Parrow, Joachim (1)
- Proietti, Maurizio (1)
- Schmidt, Günter (1)
- Segala, Roberto (1)
- Waldinger, Richard (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (25)
-
Ubicaciones
- Colección AMS (1)
- Sección Computación (7)
- Sección Lecture Notes (17)
-
Series
- DIMACS (1)
- DIMACS series in dis... (1)
- EATCS monographs on ... (1)
- Lecture notes in com... (17)
- LNCS (11)
- Prentice-Hall intern... (1)
- Texts and monographs... (1)
- The UT year of progr... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Automatic programmin... (4)
- Diseño lógico (2)
- Distributed systems (3)
- Ingeniería de softwa... (3)
- Lenguajes de program... (3)
- Lenguajes de program... (3)
- Lógica matemática (3)
- Mathematical logic (3)
- Programación automát... (4)
- Programación-Técnica... (4)
- Programas-Especifica... (19)
- Programas-Verificaci... (23)
- Programming language... (3)
- Programming techniqu... (4)
- Programs-Specificati... (18)
- Programs-Verificatio... (25)
- Sistemas distribuido... (3)
- Software engineering (3)
- Mostrar más
- Mostrar menos