Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems
-
Autores
- Baeten, Josephus Cor... (1)
- Basten, Twan (1)
- Bradley, Aaron R. (1)
- Chlipala, Adams (1)
- Fokkink, Wan (1)
- Francez, Nissim (1)
- Kroening, Daniel (1)
- Manna, Zohar (1)
- Misra, Jayadev (1)
- Reniers, Michel Adri... (1)
- Strichman, Ofer (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (7)
-
Ubicaciones
-
Series
-
Temas
- Asistencia de diseño... (1)
- Computation by abstr... (1)
- Concurrent programmi... (3)
- Data structures (1)
- Design aids (1)
- Estructura de datos (1)
- Formal languages (1)
- Lenguajes de program... (1)
- Lenguajes formales (1)
- Lógica matemática (2)
- Mathematical logic (2)
- Process management (1)
- Program verification (7)
- Programación concurr... (3)
- Programming language... (1)
- Reasoning about prog... (1)
- Semantic of programm... (1)
- Specifying and verif... (2)
- Verificación de prog... (6)
- Mostrar más
- Mostrar menos