Librería: Buchmarie, Darmstadt, Alemania
EUR 92,78
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good.
Publicado por ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 151,39
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 148,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 149,45
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 151,81
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 148,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 154,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 146,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 146,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 146,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 155,01
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 191,88
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 196,40
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 192,73
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Publicado por ISTE Ltd and John Wiley and Sons Inc, GB, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Idioma: Inglés
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 202,80
Cantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: 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.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 199,42
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Publicado por ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 170,98
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Original o primera edición
EUR 192,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 2021. 1st Edition. Hardcover. . . . . .
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Original o primera edición
EUR 192,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 2021. 1st Edition. Hardcover. . . . . .
Librería: moluna, Greven, Alemania
EUR 157,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New.
Librería: moluna, Greven, Alemania
EUR 157,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: 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 .
Publicado por Iste/Hermes Science Pub, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 221,21
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 324 pages. 9.33x6.61x0.94 inches. In Stock.
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 240,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 2021. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 240,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 2021. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Publicado por ISTE Ltd and John Wiley and Sons Inc, GB, 2021
ISBN 10: 1786306026 ISBN 13: 9781786306029
Idioma: Inglés
Librería: Rarewaves.com UK, London, Reino Unido
EUR 184,84
Cantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: 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.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 194,30
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 194,30
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.
Publicado por ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 239,25
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Publicado por Iste/Hermes Science Pub, 2021
ISBN 10: 1786305305 ISBN 13: 9781786305305
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 202,88
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 324 pages. 9.33x6.61x0.94 inches. In Stock. This item is printed on demand.