Especifiación, derivación y análisis de algoritmos : ejercicios resueltos / Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López.

By:

Martí Oliet, Narciso

Contributor(s):

Material type:

TextPublication details: Madrid : Pearson, 2006.Description: 198 p. : il. ; 27 cmContent type:

texto

Media type:

sin mediación

Carrier type:

volumen

ISBN:

8483222922
9788483222928

Subject(s):

ALGORITMOS

Contents:

Pró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.--

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Libros	Biblioteca "Manuel Belgrano" FRRo-UTN				004.42 M356 (Browse shelf(Opens below))	Buen Estado			1	Available			28493

Pró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.--

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer