Refinar su búsqueda
Disponibilidad
-
Autores
- Chlipala, Adams (1)
- Katoen, Joost-Pieter (1)
- Kroening, Daniel (1)
- Strichman, Ofer (1)
-
Tipos de ítem
- Libro (3)
-
Ubicaciones
-
Series
-
Temas
- Asistencia de diseño... (1)
- Data structures (1)
- Design aids (1)
- Especificación (1)
- Estructura de datos (1)
- Formal languages (1)
- Lenguajes formales (1)
- Logics (1)
- Lógica matemática (1)
- Mathematical logic (1)
- Program verification (2)
- Razonamiento sobre p... (1)
- Reasoning about prog... (1)
- Specifying and verif... (2)
- Specifying and verif... (1)
- Testing and debuggin... (1)
- Verificación (1)
- Verificación de prog... (1)
- Mostrar más
- Mostrar menos