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: |
Tabla de Contenidos:
- 1.Concepto de sistema formal y de demostracion formal 2.Problema de la terminacion de programas 3.Intruccion goto