Algoritmos correctos y eficientes diseño razonado ilustrado con ejercicios
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Madrid :
Garceta Grupo Editorial
[2012]
|
| Edición: | Edición: 1a |
| Materias: | |
| Ver en Universidad de Deusto: | https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991006822971403351&tab=default_tab&search_scope=deusto_alma&vid=deusto |
Solicitar por préstamo interbibliotecario:
Correo
| Notas: | "Se hace especial hincapié en la derivación de programas a partir de su especificación. La derivación consiste en la construcción sistemática del programa a partir de su especificación, de forma que se garantiza que al final de tal construcción el algoritmo cumple la especificación y, por tanto, es automáticamente correcto con respecto a esta. También se introducen los conceptos básicos para analizar el coste de un programa, puesto que este ingrediente es asimismo útil para construir programas que además de correctos sean eficientes"--Cubierta posterior. |
|---|---|
| Descripción Física: | X, 236 páginas ; 27 cm |
| Bibliografía: | Bibliografía: páginas 235-236. |
| ISBN: | 9788415452324 |
