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 correc...
Guardado en:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Bog |
| Sprog: | spansk |
| Serier: | Serie (Prentice práctica)
|
| Fag: | |
| Online adgang: | Ver en el OPAC |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: Especificación, derivación y análisis de algoritmos :
- Verificación formal de algoritmos : ejercicios resueltos /
- Algoritmo óptimo para planificación de búsqueda en disco
- Estructuras de datos y métodos algorítmicos ejercicios resueltos
- Estructuras de datos y métodos algorítmicos ejercicios resueltos
- Diseño de algoritmos y su codificación en lenguaje C /
- Algoritmos : del amor incondicional al odio visceral /