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: | Diaz de ILarraza Sanchez, A |
---|---|
Formato: | Libro |
Lenguaje: | Spanish |
Publicado: |
España
1992
|
Materias: |
Ejemplares similares
-
Modulo 3 - Curriculum y programación educacional
por: GAlli, Amanda
Publicado: (1992) -
Ejercicios de algebra /
por: Rivaud,J.
Publicado: (1968) -
El programa de administración escolar desarrollado por el P.P.M.S : Perspectiva de la educación no formal en El Salvador. /
por: España Villalobos, Francisco Javier
Publicado: (1991) -
Diseño de un programa de enseñanza de oficios en el contexto de la educación no formal para los pobladores de las zonas urbano marginales de la ciudad de Usulután
por: Medrano Avelar, Tomar Ernesto
Publicado: (1993) -
Introduction to formal language theory
por: Harrison, Michael A., et al.
Publicado: (1978)