Theoretical foundations of computer Science /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
John Wiley,
1987
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Chapter 0. Mathematical background. Chapter 1. Models for computer science: automata and grammars. Chapter 2. Solvable and unsolvable problems. Chapter 3. The complexity of computing. Chapter 4. Formal semantics. Chapter 5. Proving program properties. Chapter 6. Nondeterminism and parallel computation.