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: |
Sistema de Bibliotecas de la Universidad de las Regiones Autónomas de la Costa Caribe Nicaragüense
Copia | Disponible |
---|