Diseño efectivo de programas correctos (Registro nro. 45821)

Detalles MARC
000 -CABECERA
campo de control de longitud fija	01233aam a2200253 4500
001 - NÚMERO DE CONTROL
campo de control	3149
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control	OSt
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control	20260622100441.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija	a0000002006 ck 0000000000spa00
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro	9588060567
040 ## - FUENTE DE LA CATALOGACIÓN
Centro/agencia transcriptor	RDA
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación	005.1 B677
100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
9 (RLIN)	2390
Nombre de persona	Bohórquez Villamizar, Jaime Alejandro
245 ## - MENCIÓN DE TÍTULO
Título	Diseño efectivo de programas correctos
264 ## - Notificación de producción, publicación, distribución, fabricación y derechos de autor
9 (RLIN)	11809
Lugar de producción, publicación, distribución, fabricación	Colombia :
9 (RLIN)	16052
Nombre del productor, editor, distribuidor, fabricante	Editorial Escuela Colombiana de Ingeniería,
9 (RLIN)	14124
Fecha de producción, publicación, distribución, fabricación o aviso de derechos	2006
300 ## - DESCRIPCIÓN FÍSICA
Extensión	472 páginas
490 ## - MENCIÓN DE SERIE
9 (RLIN)	18406
Mención de serie	Informática
500 ## - NOTA GENERAL
Nota general	Incluye índice
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
NOTA DE BIBLIOGRAFÍA	Incluye bibliografía
505 ## - Nota de contenido con formato
Nota de contenido con formato	Cálculo lógico -- La programación como ciencia -- Corrección y derivación de programas iterativos -- Corrección y derivación de programas recurrentes -- Complejidad algorítmica - Ecuaciones de recurrencia -- Métodos generales de solución de problemas -- Divide y vencerás -- Técnicas avanzadas de derivación -- Búsqueda en estructuras lineales -- Estructuras notables -- Programación dinámica -- Métodos voraces -- Exploración de grafos - Intratabilidad
650 10 - MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Programación de computadores
9 (RLIN)	54621
650 10 - MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Programas para computador
9 (RLIN)	54622
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha	Libro
Fuente del sistema de clasificación o colocación	ddc

Existencias
Estado de retiro	Estado de pérdida	Fuente del sistema de clasificación o colocación	Estado dañado	No para préstamo	Código de colección	Localización permanente	Ubicación/localización actual	Ubicación en estantería	Fecha de adquisición	Total de préstamos	Signatura topográfica completa	Código de barras	Fecha visto por última vez	Número de copia	Precio válido a partir de	Tipo de ítem Koha
		Dewey Decimal Classification			General	Biblioteca Rafael Escandón Hernández - UNAC - Medellín	Biblioteca Rafael Escandón Hernández - UNAC - Medellín	Sala principal de colecciones - Primer piso - Medellín	02/04/2012		005.1 B677	08365	02/04/2012	Ejemplar 1	02/04/2012	Libro