{"product_id":"9780131242159","title":"INT.ABSTRACT DATA TYPES","description":"\u003ch2\u003eINT.ABSTRACT DATA TYPES\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual universitario ofrece un estudio exhaustivo de las estructuras de datos utilizando exclusivamente el lenguaje de programación Ada. El autor, Hillam, aprovecha al máximo las capacidades de los genéricos, los tipos abstractos de datos y la reutilización del software para presentar un enfoque sistemático y riguroso. A lo largo de sus páginas, el lector encontrará una biblioteca de componentes reutilizables basados en Ada, construidos siguiendo principios fundamentales de la ingeniería del software. El valor principal de la obra reside en su metodología didáctica, que introduce cada tipo abstracto de datos en cinco fases claramente diferenciadas, combinando teoría formal con implementación práctica y análisis de rendimiento.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro se centra en el diseño y la implementación de tipos abstractos de datos (TAD) utilizando Ada como lenguaje vehicular. La obra se estructura en torno a un método pedagógico en cinco fases para cada estructura de datos:\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eEn primer lugar, se presenta la motivación de uso y las aplicaciones típicas del tipo de datos.\u003c\/li\u003e\n\u003cli\u003eA continuación, se proporciona una descripción formal escrita que especifica la función y todas las operaciones del tipo de datos.\u003c\/li\u003e\n\u003cli\u003eSe presenta una especificación formal de un paquete genérico en Ada.\u003c\/li\u003e\n\u003cli\u003eSe implementan partes seleccionadas del cuerpo del paquete.\u003c\/li\u003e\n\u003cli\u003eFinalmente, se derivan estimaciones de rendimiento para las operaciones individuales.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003eEl texto hace hincapié en la abstracción, la generalidad, el rendimiento de los procedimientos y la corrección del código, desarrollando una biblioteca completa de componentes de software reutilizables basados en Ada.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eTipos abstractos de datos (TAD) y su especificación formal.\u003c\/li\u003e\n\u003cli\u003eProgramación genérica en Ada y reutilización de software.\u003c\/li\u003e\n\u003cli\u003ePrincipios de ingeniería del software aplicados a estructuras de datos.\u003c\/li\u003e\n\u003cli\u003eAnálisis de rendimiento y estimación de costes operacionales.\u003c\/li\u003e\n\u003cli\u003eConstrucción de bibliotecas de componentes reutilizables.\u003c\/li\u003e\n\u003cli\u003eCorrección formal y verificación de implementaciones.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido a estudiantes universitarios de informática, ingeniería de software y disciplinas afines que cursen asignaturas de estructuras de datos y programación avanzada. También resulta de gran utilidad para programadores profesionales que deseen profundizar en el diseño de software robusto y reutilizable utilizando Ada, así como para docentes que busquen un enfoque metodológico estructurado para la enseñanza de los tipos abstractos de datos.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eUn método de aprendizaje sistemático en cinco fases para comprender y dominar cada tipo abstracto de datos.\u003c\/li\u003e\n\u003cli\u003eUna biblioteca práctica de componentes reutilizables en Ada, aplicable a proyectos reales de desarrollo de software.\u003c\/li\u003e\n\u003cli\u003eUna sólida base en principios de ingeniería del software, incluyendo abstracción, generalidad y corrección formal.\u003c\/li\u003e\n\u003cli\u003eHerramientas para evaluar y comparar el rendimiento de diferentes implementaciones de estructuras de datos.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e Hillam\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Prentice Hall Iberia\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Inglés\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e Universitario\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 1030 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de una obra de referencia para el estudio de las estructuras de datos desde una perspectiva formal y práctica, centrada en el lenguaje Ada. Su enfoque metódico, basado en la especificación, implementación y análisis de rendimiento, lo convierte en un recurso valioso tanto para el aula como para el desarrollo profesional. Aunque el idioma del texto es inglés, la claridad expositiva y la estructura pedagógica facilitan la comprensión de conceptos complejos. Es una elección acertada para quienes buscan un tratamiento riguroso y aplicado de los tipos abstractos de datos.\u003c\/p\u003e","brand":"PRENTICE HALL IBERIA","offers":[{"title":"Default Title","offer_id":53615718138203,"sku":"9780131242159","price":87.31,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/19566733482234.jpg?v=1784349191","url":"https:\/\/kalamobooks.com\/products\/9780131242159","provider":"Kalamo Books","version":"1.0","type":"link"}