Verificacion de programas y metodologia de la programacion
Trata de la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad...
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Spanish |
| Publicado: |
España
1992
|
| Materias: |
| Sumario: | Trata de la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad Nacional de La Plata desde hace varios años. |
|---|---|
| Descripción Física: | 199p |
| Bibliografía: | incluye índice |
| ISBN: | 84-7585-266-1 |