Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
-
Temas
- Automatic programmin... (1)
- Concurrent programmi... (1)
- Deducción y prueba d... (1)
- Deduction and theore... (1)
- Especificación, veri... (1)
- Language constructs ... (1)
- Management (1)
- Performance (1)
- Program verification (1)
- Programación concurr... (1)
- Specifying , verifyi... (1)
- Mostrar más
- Mostrar menos