LEADER 00000cam a2200745 i 4500 
003    OCoLC 
005    20240129213017.0 
006    m     o  d         
007    cr cnu---unuuu 
008    210929s2021    enk     o     000 0 eng d 
015    GBC1D7816|2bnb 
016 7  020300536|2Uk 
020    9781119851196|q(electronic bk. ;|qoBook) 
020    111985119X|q(electronic bk.) 
020    1119851181 
020    9781119851189|q(electronic bk.) 
024 7  10.1002/9781119851196|2doi 
029 1  AU@|b000069973435 
029 1  UKMGB|b020300536 
035    (OCoLC)1269508933 
037    9781119851189|bWiley 
037    9781786306029|bO'Reilly Media 
040    DG1|beng|erda|epn|cDG1|dOCLCO|dUKAHL|dOCLCF|dUKMGB|dN$T
       |dOCLCO|dOCLCQ|dOCLCO|dOCLCQ|dUPM|dOCLCQ|dORMDA|dLANGC
       |dOCLCQ|dOCLCO 
049    INap 
082 04 005.13 
082 04 005.13|223 
099    eBook O'Reilly for Public Libraries 
100 1  Hardin, Thérèse,|eauthor. 
245 10 Concepts and semantics of programming languages 2 :
       |bmodular and object-oriented constructs with Ocaml, 
       Python, C++, Ada and Java /|cThérèse Hardin, Mathieu Jaume
       , Francois Pessaux, Veronique Viguie Donzeau-Gouge.
       |h[O'Reilly electronic resource] 
264  1 London :|bISTE Ltd. ;|aHoboken, NJ :|bWiley,|c2021. 
300    1 online resource (1 volume) 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
490 1  Computer engineering series 
520    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. 
588 0  Print version record. 
590    O'Reilly|bO'Reilly Online Learning: Academic/Public 
       Library Edition 
650  0 Programming languages (Electronic computers)|xSemantics. 
650  0 OCaml (Computer program language) 
650  0 Python (Computer program language) 
650  0 C++ (Computer program language) 
650  0 Ada (Computer program language) 
650  0 Java (Computer program language) 
650  6 Langages de programmation|xSémantique. 
650  6 OCaml (Langage de programmation) 
650  6 Python (Langage de programmation) 
650  6 C++ (Langage de programmation) 
650  6 Ada (Langage de programmation) 
650  6 Java (Langage de programmation) 
650  7 Ada (Computer program language)|2fast 
650  7 C++ (Computer program language)|2fast 
650  7 Java (Computer program language)|2fast 
650  7 OCaml (Computer program language)|2fast 
650  7 Programming languages (Electronic computers)|xSemantics
       |2fast 
650  7 Python (Computer program language)|2fast 
700 1  Jaume, Mathieu,|eauthor. 
700 1  Pessaux, Francois,|eauthor. 
700 1  Donzeau-Gouge, Véronique,|eauthor. 
776 08 |iPrint version:|aHardin, Therese.|tConcepts and semantics
       of programming languages 2.|dLondon : Wiley-ISTE, 2021
       |z9781786306029|w(OCoLC)1264399103 
830  0 Computer engineering series (London, England) 
856 40 |uhttps://ezproxy.naperville-lib.org/login?url=https://
       learning.oreilly.com/library/view/~/9781786306029/?ar
       |zAvailable at O'Reilly for Public Libraries 
938    Askews and Holts Library Services|bASKH|nAH39137285 
938    EBSCOhost|bEBSC|n2988940 
994    92|bJFN