| 000 | 01312nam a2200229Ia 4500 | ||
|---|---|---|---|
| 001 | 12433 | ||
| 003 | SV-SsUGB | ||
| 008 | 180402s2006||||es |||||||||||||| ||spa|| | ||
| 020 | _a9788483222928 | ||
| 040 | _aUGB | ||
| 041 | 0 | _aspa | |
| 082 | 4 |
_a005.1 _bM378 |
|
| 100 | 1 |
_aMartí Oliet, Narciso _eAutor |
|
| 245 | 1 | 0 |
_aEspecificación, derivación y análisis de algoritmos : _bejercicios resueltos / _cNarciso Martí Oliet |
| 260 |
_a[s.l.] _bPearson _c2006 |
||
| 300 | _a188. p. | ||
| 520 | _aESPECIFICACIÓN DE ALGORITMOS; Ejercicios resueltos; Ejercicios propuestos, VERIFICACIÓN; reglas básicas de verificación; Precondición más débil; Reglas específicas; Verificación de algoritmos recursivos. ANÁLISIS DE COMPLEJIDAD; Ejercicios resueltos; Ejercicios propuestos. DERIVACIÓN DE ALGORITMOS ITERATIVOS; Ejercicios resueltos; Ejercicios propuestos DERIVACIÓN DE ALGORITMOS RECURSIVOS; Análisis por casos y composición; Técnicas de inmersión; Técnica de desplegado y plegado; Transformación de recursivo lineal a iterativo | ||
| 542 | 1 |
_aMartí Oliet, Narciso _g2006 _i2006 |
|
| 650 | 4 | _aESTRUCTURA DE DATOS (INFORMÁTICA) ; ALGORITMOS (COMPUTADORES) -- PROBLEMAS, EJERCICIOS ; ESTRUCTURAS DE DATOS (INFORMÁTICA) - PROBLEMAS, EJERCICIOS | |
| 700 | 1 | _aMartí Oliet, Narciso | |
| 942 | _cBK | ||
| 999 |
_c8563 _d8563 |
||