Algoritmos y estructuras de datos: (Registro nro. 5204)

Detalles MARC
000 -Cabecera (24)
Campo de control interno	02164nam a22002894a 4500
001 - Número de control
Campo de control	PE-BaUNAB
005 - Fecha y hora de la
Campo de control	20241127173748.0
006 - ELEMENTOS DE DATOS DE LONGITUD FIJA - CARACTERÍSTICAS ADICIONALES DEL MATERIAL - INFORMACIÓN GENERAL
Campo de control de longitud fija	a\|\|\|\|gr\|\|\|\| 001 0
007 - Tipo material - Descripcion fisica - info general
Tipo material	ta
008 - Códigos de longitud fija (40p)
Campo de control de longitud fija	t pe gr 00\| 0 spa d
017 ## - Depósito legal
Depósito legal	M-24191-2023
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	978-84-1903-423-6
040 ## - Origen de la Catalogacion
Origen de la Catalogacion	PE-BaUNAB
041 ## - Código de idioma
Código de lengua del texto/banda sonora o título independiente (R)	spa
043 ## - Pais ISO
País ISO	esp
082 ## - Número de clasificación
Clasificación	005.741
100 ## - Autor personal
Autor personal	Peña Marí, Ricardo
9 (RLIN)	11674
245 ## - Titulo
Titulo	Algoritmos y estructuras de datos:
Subtítulo	con programas verificados en Dafny
250 ## - Mención de edición
Número de edición	2a ed.
260 ## - Pie de imprenta
Ciudad	Madrid:
Nombre de la editorial	Garceta,
Año	2019
300 ## - Descripción física
Extensión	382 p.
Otros detalles físicos	fig.,
520 ## - Resumen
Resumen	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 especificaciones formales y asertos intermedios necesarios. El lector puede reproducir la verificación de los programas sin más que procesarlos con dicha plataforma. Dicho material puede descargarse desde la web de la editorial Garceta.
650 #0 - Temas - Descriptores
Temas - Descriptores	Algoritmos
9 (RLIN)	11675
650 #0 - Temas - Descriptores
Temas - Descriptores	Estructura de datos (Computadoras)
9 (RLIN)	9110
650 #0 - Temas - Descriptores
Temas - Descriptores	Programación
Subdivisión general	Computadoras
9 (RLIN)	11414
942 ## - Datos personalizados Koha
Fuente de clasificación	Dewey Decimal Classification
Tipo de Documento	Libros
Fecha procesamiento	2024-11-27
Catalogador	ftmr

Existencias
Fuente de Clasificacion	Colección	Ubicacion permanente	Ubicacion actual	Fecha de adquisicion a la Biblioteca	Origen de adquisicion	Signatura	Código de barras	Ultima fecha de verificacion	Ejemplar	Tipo de ítem
Dewey Decimal Classification	Cultura General	UNAB	UNAB	11/27/2024	Compra	005.741 P42	01L000006677	11/27/2024	1	Libros
Dewey Decimal Classification	Cultura General	UNAB	UNAB	11/27/2024	Compra	005.741 P42 ej.2	01L000006678	11/27/2024	2	Libros
Dewey Decimal Classification	Cultura General	UNAB	UNAB	11/27/2024	Compra	005.741 P42 ej.3	01L000006679	11/27/2024	3	Libros