ALGORITMOS Y ESTRUCTURAS DE DATOS: CON PROGRAMAS VERIFICADOS EN DAFNI

Con programas verificados en Dafny

GARCETA GRUPO EDITORIAL - 9788417289270

Programación y lenguajes Otros lenguajes

Sinopsis de ALGORITMOS Y ESTRUCTURAS DE DATOS: CON PROGRAMAS VERIFICADOS EN DAFNI

Este libro universitario 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 dedicado a estruc

Ficha técnica


Editorial: Garceta Grupo Editorial

ISBN: 9788417289270

Idioma: Castellano

Número de páginas: 376

Encuadernación: Tapa blanda

Fecha de lanzamiento: 26/09/2019

Año de edición: 2019

Plaza de edición: España
Alto: 24.0 cm
Ancho: 17.0 cm
Peso: 654.0 gr

Especificaciones del producto



Escrito por Ricardo Peña Marí


Descubre más sobre Ricardo Peña Marí
Recibe novedades de Ricardo Peña Marí directamente en tu email

Opiniones sobre ALGORITMOS Y ESTRUCTURAS DE DATOS: CON PROGRAMAS VERIFICADOS EN DAFNI


¡Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en 20€*!

Los libros más vendidos esta semana