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 |