000			01706nam a2200289 a 4500
001			595
003			AR-FRRoUTN
008			240624t2006 sp a||||r|||| 001 0 spa d
020			_a8483222922
020			_a9788483222928
040			_aUTN FRRo _bspa
080	0		_a004.42 _22015
100	1		_aMartí Oliet, Narciso
245	1	0	_aEspecifiación, derivación y análisis de algoritmos : _bejercicios resueltos / _cNarciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López.
260			_aMadrid : _bPearson, _c2006.
300			_a198 p. : _bil. ; _c27 cm.
336			_2rdacontent _atexto _btxt
337			_2rdamedia _asin mediación _bn
338			_2rdacarrier _avolumen _bnc
505	0		_aPrólogo.-- Cap.1 Especificación de algoritmos. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 2. Verificación. Introducción. Reglas básicas de verificación . Precondición más débil. Reglas específicas. Verificación de algoritmos recursivos. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 3. Análisis de complejidad. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos . Ejercicios propuestos.-- Cap. 5. Derivación de algoritmos recursivos. Introducción. 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.-- Ejercicios resueltos . Ejercicios propuestos.-- Bibliografía.--
650	1	4	_aALGORITMOS
700	1		_aSegura Díaz, Clara María
700	1		_aVerdejo López, José Alberto
942			_2udc _cBK
999			_c595 _d595