Detalles MARC
| 000 -LEADER |
|---|
| fixed length control field |
03950nam a2200421 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
co-ctgiumayor |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240712115311.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
171210s2017 s 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319707907 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
CO-CtgIUMC |
| Language of cataloging |
spa |
| Transcribing agency |
coctgiumc |
| Modifying agency |
rda |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13 |
| Item number |
L477 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lee, Kent D., |
| Relator term |
autor. |
| Relationship |
aut. |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations of programming languages |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
by Kent D. Lee. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Segunda edición. |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : : |
| -- |
Imprint: Springer,, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2017 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
2017 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XIV, 370 páginas. 189 illus., 39 illus. in color. : |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
texto |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computador |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
recurso en línea |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Undergraduate Topics in Computer Science, |
| International Standard Serial Number |
1863-7310 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Incluye referencias bibliográficas e índice. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 ## - SUMMARY, ETC. |
|---|
| Summary, 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 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Ciencias de la computación. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Microprogramación. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Ingeniería matemática. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Lenguajes de programación, compiladores, interpretadores. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Microprogramación y estructuras de control. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Ingeniería de los computadores. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/18CWtyFATsHFY7uFyYLTZ_G34s18jX9Ds/view?usp=sharing">https://drive.google.com/file/d/18CWtyFATsHFY7uFyYLTZ_G34s18jX9Ds/view?usp=sharing</a> |
| Public note |
Dar click aqui para ver texto completo |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Libros electrónicos |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
