HANDBOOK of logic in computer science.
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Oxford :
Clarendon Press,
1999.
|
| Colección: | Handbooks of logic in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Contenido: v.1. Background: mathematical structures
- v.2. Background: computational structures
- v.3. Semantic structures
- v.4. Semantic modelling
- v.5. Theoretical methods in specification and verification
- v.6. Logical methods in computer science.