Seller: Buchmarie, Darmstadt, Germany
US$ 58.92
Convert currencyQuantity: 1 available
Add to basketCondition: Good.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
US$ 119.64
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 166.29
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
US$ 168.09
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 166.75
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 182.13
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 182.13
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Language: English
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Hardcover. Condition: new. Hardcover. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Language: English
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Hardcover. Condition: new. Hardcover. This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 182.11
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 185.80
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 212.36
Convert currencyQuantity: 3 available
Add to basketCondition: New.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 213.33
Convert currencyQuantity: 3 available
Add to basketCondition: New.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 210.83
Convert currencyQuantity: 2 available
Add to basketBuch. Condition: Neu. Neuware - This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.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.
Seller: moluna, Greven, Germany
US$ 190.97
Convert currencyQuantity: Over 20 available
Add to basketGebunden. Condition: New.
Seller: moluna, Greven, Germany
US$ 190.97
Convert currencyQuantity: Over 20 available
Add to basketGebunden. Condition: New. Therese Hardin is Professor Emeritus at the Laboratoire d?Informatique de Paris 6 (LIP6), Sorbonne University, France.Mathieu Jaume is a lecturer at the Laboratoire d?Informatique de Paris 6 (LIP6), Sorbonne University, France.Francois Pessaux is Associate .
Published by ISTE Ltd and John Wiley and Sons Inc, GB, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
US$ 242.06
Convert currencyQuantity: 1 available
Add to basketHardback. Condition: New. 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.
Published by ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
US$ 237.91
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. 2021. 1st Edition. Hardcover. . . . . .
Published by ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
US$ 237.97
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. 2021. 1st Edition. Hardcover. . . . . .
Published by Iste/Hermes Science Pub, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
US$ 254.88
Convert currencyQuantity: 2 available
Add to basketHardcover. Condition: Brand New. 324 pages. 9.33x6.61x0.94 inches. In Stock.
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 235.70
Convert currencyQuantity: 2 available
Add to basketBuch. Condition: Neu. Neuware - 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.
Published by ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Language: English
Seller: Kennys Bookstore, Olney, MD, U.S.A.
US$ 277.81
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. 2021. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Published by ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Language: English
Seller: Kennys Bookstore, Olney, MD, U.S.A.
US$ 277.87
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. 2021. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Published by ISTE Ltd and John Wiley and Sons Inc, GB, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Language: English
Seller: Rarewaves.com UK, London, United Kingdom
US$ 227.72
Convert currencyQuantity: 1 available
Add to basketHardback. Condition: New. 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.
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 289.82
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: new. Hardcover. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.