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 |