Diseño de Programas: Formalismo y Abstracción / Ricardo Peña Marí [Impreso]

Por:

Peña Marí, Ricardo (Catedrático) [Autor]

Tipo de material: Texto

TextoIdioma: Español Madrid - España: Pearson Educación, 2005Edición: Tercera ediciónDescripción: xix, 466 páginas : Ilustraciones, figuras ; 17.2 x 24 centímetrosISBN:

8420541915

Tema(s):

Clasificación CDD:

003.0151 P42

Resumen: Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Existencias
Tipo de ítem	Biblioteca actual	Signatura topográfica	Copia número	Estado	Código de barras
Libros	BIB Especializada de EAP de Ingeniería Informática y Sistemas	003.0151 / P42 (Navegar estantería(Abre debajo))	1	Disponible	SK07SEL00024
Libros	BIB Especializada de EAP de Ingeniería Informática y Sistemas	003.0151 / P42 (Navegar estantería(Abre debajo))	2	Disponible	SK07SEL00025
Libros	BIB Especializada de EAP de Ingeniería Informática y Sistemas	003.0151 / P42 (Navegar estantería(Abre debajo))	3	Disponible	SK07SEL00026

Navegando BIB Especializada de EAP de Ingeniería Informática y Sistemas estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo								Siguiente
Previo	003 / Y82 Gobierno Electrónico: [Impreso] Análisis de los conceptos de Tecnología, Comodidad y Democracia /	003.0151 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción /	003.0151 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción /	003.0151 / P42 Diseño de Programas: [Impreso] Formalismo y Abstracción /	003.0285 / 578 Principios de Sistemas de Información: [Impreso] Un Enfoque Administrativo /	003.0285 / 578 Principios de Sistemas de Información: [Impreso] Un Enfoque Administrativo /	003.0285 / 578 Principios de Sistemas de Información: [Impreso] Un Enfoque Administrativo /	Siguiente

Sala especializada / a domicilio

Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.

E.A.P. Ingeniería Informática y Sistemas

Texto en español

Para corregir/ actualización código Dewey de 003.0151 a 005.133

No hay comentarios en este titulo.

para colocar un comentario.

Haga clic en una imagen para verla en el visor de imágenes

Diseño de Programas: Formalismo y Abstracción / Ricardo Peña Marí [Impreso]

Navegando BIB Especializada de EAP de Ingeniería Informática y Sistemas estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Contacto