Sistema de Bibliotecas Corporación Universitaria Rafael Núñez

Foundations of Programming Languages (Registro nro. 29489)

Detalles MARC
000 -LEADER
campo de control de longitud fija 04209nam a2200445 a 4500
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20260701202225.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija m d
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr cnu---uuuuu
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 171210s2017 s 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783319707907
-- 978-3-319-70790-7
040 ## - FUENTE DE CATALOGACIÓN
Centro catalogador/agencia de origen CO-CtgCURN
Lengua de catalogación spa
Centro/agencia transcriptor coctgcurn
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.13
Información de edición 23
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Lee, Kent D.,
Término indicativo de función/relación autor.
Relación aut.
-- http://id.loc.gov/vocabulary/relators/aut
245 10 - MENCIÓN DEL TÍTULO
Título Foundations of Programming Languages
Medio [electronic resource] /
Mención de responsabilidad, etc. by Kent D. Lee.
250 ## - MENCION DE EDICION
Mención de edición Segunda edición.
260 #4 - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Cham : : :
Nombre del editor, distribuidor, etc. Springer International Publishing : : :
-- Imprint: Springer,,,
Fecha de publicación, distribución, etc. 2017.
260 #1 - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. 2017.
300 ## - DESCRIPCIÓN FÍSICA
Extensión XIV, 370 p. 189 illus., 39 illus. in color. :
Otros detalles físicos online resource.
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
Código de tipo de contenido txt
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio computador
Código del tipo de medio c
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte recurso en línea
Código del tipo de soporte cr
Fuente rdacarrier
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo text file
Formato de codificación PDF
Fuente rda
490 1# - MENCIÓN DE SERIE
Mención de serie Undergraduate Topics in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas 1863-7310
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Nota Incluye referencias bibliográficas e índice.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Introduction -- Syntax -- Assembly Language -- Object-Oriented Programming -- Functional Programming -- Compiling Standard ML -- Logic Programming -- Standard ML Type Inference -- Appendix A: The JCoCo Virtual Machine Specification -- Appendix B: The Standard ML Basis Library.
520 ## - RESUMEN, ETC.
Sumario, etc. This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the classroom. This updated and revised new edition features new material on the Java implementation of the JCoCo virtual machine. Topics and features: Includes review questions and solved practice exercises, with supplementary code and support files available from an associated website Presents an historical perspective on the models of computation used in implementing the programming languages used today Provides the foundations for understanding how the syntax of a language is formally defined by a grammar Illustrates how programs execute at the level of assembly language, through the implementation of a stack-based Python virtual machine called JCoCo and a Python disassembler Introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog Describes a case study involving the development of a compiler for the high level functional language Small, a robust subset of Standard ML Undergraduate students of computer science will find this engaging textbook to be an invaluable guide to the skills and tools needed to become a better programmer. While the text assumes some background in an imperative language, and prior coverage of the basics of data structures, the hands-on approach and easy to follow writing style will enable the reader to quickly grasp the essentials of programming languages, frameworks, and architectures. Dr. Kent D. Lee is Professor of Computer Science at Luther College, Decorah, Iowa, USA. He is the author of the successful Springer textbooks Python Programming Fundamentals and Data Structures and Algorithms with Python.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Ciencias de la computación.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Microprogramación.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Ingeniería matemática.
650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lenguajes de programación, compiladores, interpretadores.
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Microprogramación y estructuras de control.
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Ingeniería de los computadores.
710 2# - ENTRADA AGREGADA--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada SpringerLink (Online service)
773 0# - ASIENTO DE ITEM FUENTE
Título Springer eBooks
852 ## - LOCALIZACIÓN
Ubicación MHC
Sublocalización o colección MHC
Ubicación en estantería CF
Parte de clasificación 005.13
Parte de ítem L477
856 7# - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme de Recurso <a href="https://unicurn.sharepoint.com/:b:/s/biblioteca/EdMrweKJHHpGuiOvzewYCP8BSdTfYbY_nhCSpaRffKPkPg?e=PdZDBG">https://unicurn.sharepoint.com/:b:/s/biblioteca/EdMrweKJHHpGuiOvzewYCP8BSdTfYbY_nhCSpaRffKPkPg?e=PdZDBG</a>
Nota pública <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico
942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA)
Tipo de ítem Koha Libros electrónicos
Parte de clasificación 005.13
Parte de ítem L477
Fuente de la clasificación o esquema de estantería Clasificación Decimal Dewey
960 ## - LOCALIZACIÓN FÍSICA (RLIN)
Localización física, PLOC (RLIN) a2849796
Existencias
Estatus retirado Estado de pérdida Fuente de la clasificación o esquema de estantería Estado de daño Clasificación normalizada Koha para ordenación No para préstamo Colección Biblioteca de origen Biblioteca actual Ubicación en estantería Fecha de adquisición Total de préstamos Signatura topográfica completa Visto por última vez Tipo de ítem Koha Precio de reemplazo
    Clasificación Decimal Dewey   005_130000000000000_L477   Libros electrónicos Biblioteca Miguel Henríquez Castañeda Biblioteca Miguel Henríquez Castañeda Libros electrónicos 2025-03-29   005.13 L477 2025-03-29 Libros electrónicos 2025-03-29