{"product_id":"9781786306029","title":"Concepts and Semantics of Programming Languages 2 Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java","description":"\u003ch1\u003eConcepts and Semantics of Programming Languages 2\u003c\/h1\u003e\u003ch2\u003eModular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java\u003c\/h2\u003e\u003ch3\u003eTherese Hardin | Mathieu Jaume | François Pessaux | Veronique Viguie Donzeau-Gouge\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Software Development \u0026amp; Engineering \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003eThis 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.\u003cbr\u003e\u003cbr\u003e\u003ci\u003eConcepts and Semantics of Programming Languages 2\u003c\/i\u003e 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.\u003cbr\u003e\u003cbr\u003eThis 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.\u003c\/div\u003e\u003cdiv\u003e \u003cp\u003e\u003cb\u003eTherese Hardin\u003c\/b\u003e is Professor Emeritus at the Laboratoire d'Informatique de Paris 6 (LIP6), Sorbonne University, France.\u003c\/p\u003e \u003cp\u003e\u003cb\u003eMathieu Jaume\u003c\/b\u003e is a lecturer at the Laboratoire d'Informatique de Paris 6 (LIP6), Sorbonne University, France.\u003c\/p\u003e \u003cp\u003e\u003cb\u003eFrançois Pessaux\u003c\/b\u003e is Associate Professor in the Computer Science and Systems Engineering Unit (U2IS) of ENSTA Paris, France.\u003c\/p\u003e \u003cp\u003e\u003cb\u003eVeronique Viguie Donzeau-Gouge\u003c\/b\u003e is Professor Emeritus at the Centre d'études et de recherche en informatique (CEDRIC) of the Conservatoire national des arts et métiers (Cnam Paris), France.\u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e31 August 2021\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eWiley-ISTE\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781786306029\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003eHardback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e272\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eWeight (oz): \u003c\/td\u003e\n\u003ctd\u003e16.0\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":44379849293964,"sku":"9781786306029","price":160.16,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781786306029.jpg?v=1780109755","url":"https:\/\/lateknightbooks.com\/products\/9781786306029","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}