Refinar su búsqueda
Disponibilidad
-
Autores
- Doberkat, Ernst Eric... (1)
- Kroening, Daniel (1)
- Libkin, Leonid (1)
- Nait Abdallah, Aresk... (1)
- Strichman, Ofer (1)
-
Tipos de ítem
- Libro (4)
-
Ubicaciones
-
Series
-
Temas
- Administración de ba... (1)
- Asistencia de diseño... (1)
- Computation by abstr... (1)
- Data structures (1)
- Database management (1)
- Design aids (1)
- Estructura de datos (1)
- Formal languages (2)
- Lenguajes formales (2)
- Logics and meanings ... (1)
- Lógica matemática (4)
- Lógica y significado... (1)
- Mathematical logic (4)
- Probabilidad (1)
- Probability (1)
- Reasoning about prog... (1)
- Specifying and verif... (1)
- Statistics (1)
- Teoría de modelos (1)
- Verificación de prog... (1)
- Mostrar más
- Mostrar menos