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

  • HTML Y CSS. DISEÑO Y CONSTRUCCION DE SITIOS WEB
    DUCKETT, JON
    ¡Bienvenido a una forma amena de aprender HTML y CSS! Tanto si quieres diseñar y construir sitios web desde cero, como si deseas tener más control sobre un sitio ya existente, este libro te ayudará a crear contenido web atractivo y agradable para el usuario.Sabemos que el código puede intimidar un poco, pero echa un vistazo a las páginas interiores y verás en qué se diferencia ...
    Consultar disponibilidad

    49,95 €47,45 €

  • RETOS DE PROGRAMACION CON JUEGOS. PYTHON Y JAVA
    NADAL, MARIONA
    Aprender a programar no siempre es fácil, pero sí podemos hacerlo entretenido: darles sentido a nuestros primeros programas y desarrollar pequeños juegos que nos ayuden, de forma práctica, a afianzar nuestro aprendizaje y que podremos utilizar luego para jugar un ratito. Java y Python son los dos lenguajes de programación más usados y, con este libro, no necesitas decidirte por...
    Consultar disponibilidad

    29,95 €28,45 €

  • 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...
    En stock (Entrega inmediata)

    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 €

Otros libros del autor