Refinar su búsqueda
Disponibilidad
-
Autores
- Dustin, Elfride (1)
- Ferguson, Derek (1)
- Hackett, Michael (1)
- Johnson, Bob (1)
- Jorgensen, Paul C. (1)
- Kroening, Daniel (1)
- Nguyen, Hung Quoc (1)
- Paul, John (1)
- Poston, Robert M. (1)
- Rashka, Jeff (1)
- Strichman, Ofer (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- CD/DVD de datos (1)
- Libro (6)
-
Ubicaciones
-
Series
-
Temas
- Asistencia de diseño... (1)
- Computer software-Te... (1)
- Data structures (1)
- Design aids (1)
- Estructura de datos (1)
- Formal languages (1)
- Lenguajes de program... (1)
- Lenguajes formales (1)
- Lógica matemática (1)
- Mathematical logic (1)
- Network operation (1)
- Program verification (1)
- Programming language... (1)
- Reasoning about prog... (1)
- Specifying and verif... (1)
- Testing and debuggin... (6)
- Verificación de prog... (1)
- Mostrar más
- Mostrar menos