Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Hardcover. Zustand: 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.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 145,96
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Hardcover. Zustand: 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.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 143,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 143,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 155,53
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 147,19
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 147,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: New.
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 147,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 155,90
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Buchmarie, Darmstadt, Deutschland
Zustand: Good.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 186,81
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 187,83
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Erstausgabe
EUR 192,67
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. 1st Edition. Hardcover. . . . . .
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Erstausgabe
EUR 192,67
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. 1st Edition. Hardcover. . . . . .
Zustand: New.
Anbieter: moluna, Greven, Deutschland
EUR 164,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 215,27
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 324 pages. 9.33x6.61x0.94 inches. In Stock.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 237,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 237,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Buch. Zustand: 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 2presents 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Hardcover. Zustand: 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Sprache: Englisch
Verlag: ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Hardcover. Zustand: 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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 203,93
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 324 pages. 9.33x6.61x0.94 inches. In Stock. This item is printed on demand.