|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00004669801 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
210929s2021 enk o 000 0 eng d |
| 005 |
20230425121837.4 |
| 035 |
|
|
|a (OCoLC)on1269508933
|
| 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
|
| 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
|
| 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 TXAM
|
| 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.
|
| 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://go.oreilly.com/TAMU/library/view/-/9781786306029/?ar
|z Connect to the full text of this electronic book
|t 0
|
| 955 |
|
|
|a Safari/O'Reilly ebooks
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
f |
f |
|s 5ee8010e-3dca-4e3a-a97a-de883f7541eb
|i 7f69b3ea-67db-4436-98c4-fcd125cee3a8
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|d Available Online
|t 0
|e QA76.7
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.7
|t 0
|l Available Online
|