ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES (Record no. 49050)

MARC details
000 -LEADER
campo de control de longitud fija 00571nam a2200193 4500
001 - NÚMERO DE CONTROL
campo de control itec_58418
003 - IDENTIFICADOR DE NÚMERO DE CONTROL
campo de control DLC
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija ///////////////cc //////////////////itec//
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 0262162288
035 00 - NÚMERO DE CONTROL DEL SISTEMA
Número de control de sistema 58418
050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76 P54a
100 0# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Pierce, Benjamin C.
245 10 - MENCIÓN DEL TÍTULO
Título ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Estados Unidos de América
Nombre del editor, distribuidor, etc. The MIT Press
300 ## - DESCRIPCIÓN FÍSICA
Extensión 574 pg
505 ## - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 1.- Precise type analyses2.- Types for Low-Level Languages3.- Types and reasoning about programs
546 ## - NOTA DE IDIOMA
Nota de lengua/lenguaje InglesÌ
942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA)
Fuente del sistema de clasificación o colocación Clasificación de Library of Congress
Tipo de ítem Koha Libro General
Holdings
Estatus retirado Estado de pérdida Fuente del sistema de clasificación o colocación Estado de daño No para préstamo Colección Biblioteca de origen Biblioteca actual Fecha de adquisición Total de préstamos Signatura topográfica completa Código de barras Visto por última vez Copia número Precio de reemplazo Tipo de ítem Koha
    Clasificación Decimal Dewey     Sala de consulta Instituto Tecnológico de Culiacán Instituto Tecnológico de Culiacán 30/01/2020   QA76 P54A 38620 04/02/2023 1 23/12/2022 Libro General