Cargando…
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java /
This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Lan...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London : Hoboken, NJ :
ISTE Ltd. ; Wiley,
2021.
|
| Colección: | Computer engineering series (London, England)
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OR_on1269508933 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 210929s2021 enk o 000 0 eng d | ||
| 040 | |a DG1 |b eng |e rda |e pn |c DG1 |d OCLCO |d UKAHL |d OCLCF |d UKMGB |d N$T |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d UPM |d OCLCQ |d ORMDA |d LANGC |d OCLCQ | ||
| 015 | |a GBC1D7816 |2 bnb | ||
| 016 | 7 | |a 020300536 |2 Uk | |
| 020 | |a 9781119851196 |q (electronic bk. ; |q oBook) | ||
| 020 | |a 111985119X |q (electronic bk.) | ||
| 020 | |a 1119851181 | ||
| 020 | |a 9781119851189 |q (electronic bk.) | ||
| 020 | |z 9781786306029 | ||
| 020 | |z 1786306026 | ||
| 024 | 7 | |a 10.1002/9781119851196 |2 doi | |
| 029 | 1 | |a AU@ |b 000069973435 | |
| 029 | 1 | |a UKMGB |b 020300536 | |
| 035 | |a (OCoLC)1269508933 | ||
| 037 | |a 9781119851189 |b Wiley | ||
| 037 | |a 9781786306029 |b O'Reilly Media | ||
| 050 | 4 | |a QA76.7 | |
| 082 | 0 | 4 | |a 005.13 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Hardin, Thérèse, |e author. | |
| 245 | 1 | 0 | |a Concepts and semantics of programming languages 2 : |b modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / |c Thérèse Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge. |
| 264 | 1 | |a London : |b ISTE Ltd. ; |a Hoboken, NJ : |b Wiley, |c 2021. | |
| 300 | |a 1 online resource (1 volume) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Computer engineering series | |
| 588 | 0 | |a Print version record. | |
| 520 | |a This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. | |
| 650 | 0 | |a OCaml (Computer program language) | |
| 650 | 0 | |a Python (Computer program language) | |
| 650 | 0 | |a C++ (Computer program language) | |
| 650 | 0 | |a Ada (Computer program language) | |
| 650 | 0 | |a Java (Computer program language) | |
| 650 | 6 | |a Langages de programmation |x Sémantique. | |
| 650 | 6 | |a OCaml (Langage de programmation) | |
| 650 | 6 | |a Python (Langage de programmation) | |
| 650 | 6 | |a C++ (Langage de programmation) | |
| 650 | 6 | |a Ada (Langage de programmation) | |
| 650 | 6 | |a Java (Langage de programmation) | |
| 650 | 7 | |a Ada (Computer program language) |2 fast |0 (OCoLC)fst00796426 | |
| 650 | 7 | |a C++ (Computer program language) |2 fast |0 (OCoLC)fst00843286 | |
| 650 | 7 | |a Java (Computer program language) |2 fast |0 (OCoLC)fst00982065 | |
| 650 | 7 | |a OCaml (Computer program language) |2 fast |0 (OCoLC)fst01742259 | |
| 650 | 7 | |a Programming languages (Electronic computers) |x Semantics. |2 fast |0 (OCoLC)fst01078716 | |
| 650 | 7 | |a Python (Computer program language) |2 fast |0 (OCoLC)fst01084736 | |
| 700 | 1 | |a Jaume, Mathieu, |e author. | |
| 700 | 1 | |a Pessaux, Francois, |e author. | |
| 700 | 1 | |a Donzeau-Gouge, Véronique, |e author. | |
| 776 | 0 | 8 | |i Print version: |a Hardin, Therese. |t Concepts and semantics of programming languages 2. |d London : Wiley-ISTE, 2021 |z 9781786306029 |w (OCoLC)1264399103 |
| 830 | 0 | |a Computer engineering series (London, England) | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781786306029/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH39137285 | ||
| 938 | |a EBSCOhost |b EBSC |n 2988940 | ||
| 994 | |a 92 |b IZTAP | ||