Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Ball, Thomas (1)
- Bouajjani, Ahmed (1)
- Camilleri, Albert (1)
- Grumberg, Orna (1)
- Grundy, Jim (1)
- Gupta, Aarti (1)
- Harrison, John (1)
- Henzinger, Thomas A. (1)
- Hermanns, Holger (1)
- Jones, Robert Brent (1)
- Kroening, Daniel (1)
- Maler, Oded (1)
- Malik, Sharad (1)
- Srivas, Mandayam (1)
- Strichman, Ofer (1)
- Wright, Joakim von (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (9)
-
Ubicaciones
-
Series
- EATCS series (1)
- Lecture notes in com... (8)
- LNCS (7)
- Texts in theoretical... (1)
-
Temas
- Asistencia de diseño... (7)
- Deducción y prueba d... (4)
- Deduction and theore... (5)
- Deducton and theorem... (2)
- Design aids (9)
- Diseño lógico (1)
- Estructura de datos (1)
- Logics and meanings ... (4)
- Lógica matemática (5)
- Lógica matemática-Co... (2)
- Lógica y significado... (4)
- Mathematical logic (6)
- Mathematical logic-C... (3)
- Program verification (8)
- Sistemas con propósi... (3)
- Software-Herramienta... (4)
- Software-Tools and t... (2)
- Special-purpose and ... (4)
- Tools and techniques (2)
- Verificación de prog... (6)
- Mostrar más
- Mostrar menos