ALGORITMOS Y ESTRUCTURAS DE DATOS CON PROGRAMAS VERIFICADOS EN DAFNY ( 2ª EDICIO
-5%

ALGORITMOS Y ESTRUCTURAS DE DATOS CON PROGRAMAS VERIFICADOS EN DAFNY ( 2ª EDICIO

PEÑA MARI, RICARDO

35,00 €
33,25 €
IVA incluido
Editorial:
IBERGARCETA PUBLICACIONES
Año de edición:
2023
Materia
Programación informática/desarrollo de software
ISBN:
978-84-19034-23-6
Páginas:
4000
35,00 €
33,25 €
IVA incluido

Este libro presenta una amplia variedad de estructuras de datos y de métodos algorítmicos con el objetivo de servir como texto base para uno o dos cursos avanzados de programación. El contenido es apropiado para un semestre en estructuras de datos eficientes y otro semestre en métodos algorítmicos. Supone una exposición previa a dos o tres semestres de asignaturas de programación donde se hayan tratado los conceptos básicos, la sintaxis y semántica de un lenguaje de programación, la recursión, las estructuras de datos lineales y las nociones de clase y objeto. Es también recomendable una exposición previa o simultánea al paradigma de programación funcional, a los fundamentos de la especificación y verificación formal de programas y a asignaturas de lógica y matemática discreta.

Artículos relacionados

  • ORDENAR PRIMERO? UN EJERCICIO PERSONAL DE DISEÑO EMPIRICO DE SOFTWARE
    BECK, KENT
    El código desordenado es un fastidio. 'Limpiar' el código, para que sea más legible, requiere dividirlo en fragmentos manejables. El autor de esta guía práctica, Kent Beck, creador de la programación extrema y pionero de los patrones de diseño de software, sugiere cuándo y dónde podemos aplicar limpiezas u ordenaciones para mejorar el código, teniendo en mente al mismo tiempo l...
    Consultar disponibilidad

    24,95 €23,70 €

  • INFERENCIA CAUSAL Y DESCUBRIMIENTO EN PYTHON
    MOLAK, ALEKSANDER
    En comparación con el aprendizaje automático tradicional y las estadísticas, los métodos causales presentan desafíos únicos. Aprender causalidad puede ser difícil, pero ofrece distintas ventajas que escapan a una mentalidad puramente estadística. Este libro ayuda a liberar todo el potencial de la causalidad.El libro comienza con las motivaciones básicas del pensamiento causal y...
    En stock (Entrega inmediata)

    37,95 €36,05 €

  • DISEÑO FUNCIONAL. PRINCIPIOS, PATRONES Y PRACTICAS
    MARTIN, ROBERT C.
    En Diseño funcional, el reputado ingeniero de software Robert C. Martin («Uncle Bob») explica cómo y por qué utilizar la programación funcional para crear sistemas mejores para clientes reales. Martin compara las estructuras de la programación convencional orientada a objetos en Java con las que permiten los lenguajes funcionales, identifica los mejores roles para cada una y mu...
    En stock (Entrega inmediata)

    37,95 €36,05 €

  • ARQUITECTURA E INGENIERIA DE DATOS
    CALCAGNO LUCARES, WALTER E.
    Esta obra proporciona una introducción accesible y completa a los conceptos clave, las técnicas y las mejores prácticas en el campo de la arquitectura y la ingeniería de datos, sin la necesidad de conocimientos previos en programación o estadísticas.Aborda secuencialmente una descripción general de los conceptos clave en la arquitectura de datos, incluidas las definiciones esen...
    En stock (Entrega inmediata)

    29,95 €28,45 €

  • JAVASCRIPT ELOCUENTE. UNA INTRODUCCIÓN MODERNA A LA PROGRAMACIÓN
    HAVERBEKE, MARIJN
    Con este libro tiene la posibilidad de aprender JavaScript de manera efectiva y clara. Esta obra está repleta de explicaciones estupendas sobre conceptos de programación y cómo se aplican en JavaScript. Para ayudar a la comprensión, las explicaciones teóricas se ilustran con ejemplos prácticos muy interesantes, de mayor o menor complejidad en función del tema. Así, veremos desd...
    En stock (Entrega inmediata)

    41,95 €39,85 €

  • CURSO INTENSIVO DE PYTHON. TERCERA EDICIÓN
    MATTHES, ERIC
    Este superventas mundial es una guía al lenguaje de programación Python. Gracias a esta trepidante y completa introducción a Python, no tardará en empezar a escribir programas, resolver problemas y desarrollar aplicaciones que funcionen.Esta tercera edición actualizada se ha revisado en profundidad con el fin de reflejar las últimas novedades en Python. Se incluye la incorporac...
    En stock (Entrega inmediata)

    52,50 €49,87 €

Otros libros del autor