Especificación, derivación y análisis de algoritmos : ejercicios resueltos /
Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correct...
Autor principal: | |
---|---|
Otros Autores: | , |
Formato: | Libro |
Lenguaje: | Spanish |
Colección: | Serie (Prentice práctica)
|
Materias: |
Sistema Bibliotecario Universidad de El Salvador
Número de Clasificación: |
005.131 |
---|---|
Copia | Disponible |