Autres éditions populaires du même titre
Résultats de recherche pour Algoritmos y estructuras de datos: Con programas verificados...
Image d'archives
Algoritmos y estructura de datos 2019
Edité par
Garceta Grupo Editorial, 2019
ISBN 10 : 8417289275
ISBN 13 : 9788417289270
Neuf
Couverture souple
Vendeur : Agapea Libros, Malaga, MA, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Idioma/Language: Español. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla. N° de réf. du vendeur 19099139
Acheter neuf
EUR 28,50
Expédition à EUR 19,96
Expédition depuis Espagne vers Etats-Unis
Expédition depuis Espagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
ALGORITMOS Y ESTRUCTURAS DE DATOS
Edité par
IBERGARCETA PUBLICACIONES S.L., 2019
ISBN 10 : 8417289275
ISBN 13 : 9788417289270
Neuf
Bolsillo
Vendeur : Librerias Prometeo y Proteo, Malaga, MA, Espagne
Évaluation du vendeur 2 sur 5 étoiles
Bolsillo. Etat : New. Etat de la jaquette : Nuevo. 01. 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 estructuras de datos eficientes y otro semestre a métodos algorítmicos. Supone una exposición previa a dos o tres semestres de materias de programación donde se hayan tratado los conceptos básicos, la sintaxis y la 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 tener conocimientos previos o simultáneos del paradigma de programación funcional, fundamentos de especificación y verificación formal de programas y de lógica y matemática discreta. El enfoque del libro es original por el hecho de que casi las dos terceras partes de los algoritmos se presentan especificados y verificados formalmente en la plataforma Dafny de verificación asistida. Como material asociado al libro, se distribuyen los ficheros Dafny con el texto completo de todos los algoritmos, junto con sus. LIBRO. N° de réf. du vendeur 2622914
Acheter neuf
EUR 30,01
Expédition à EUR 70
Expédition depuis Espagne vers Etats-Unis
Expédition depuis Espagne vers Etats-Unis
Quantité disponible : 1 disponible(s)