{"product_id":"concepts-and-semantics-of-programming-therese-hardin-9781786306029","title":"Concepts and Semantics of Programming Languages 2: Modular and Object-Oriented Constructs with Ocaml, Python, C++, ADA and Java","description":"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.\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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Therese Hardin, Mathieu Jaume, François Pessaux\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1786306026\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781786306029\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Wiley-Iste\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/31\/2021\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 272\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.19lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.63d","brand":"Therese Hardin","offers":[{"title":"Hardcover","offer_id":44127773622527,"sku":"9781786306029","price":177.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_90e48d27-e252-4766-81d6-702ee0d5c4e3.jpg?v=1687455150","url":"https:\/\/www.whiterainbookhouse.com\/products\/concepts-and-semantics-of-programming-therese-hardin-9781786306029","provider":"WR Book House","version":"1.0","type":"link"}