Articles liés à Concepts and Semantics of Programming Languages: A...
Concepts and Semantics of Programming Languages: A Semantical Approach With OCaml and Python (1) - Couverture rigide
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Thérèse 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.
François Pessaux is Associate Professor in the Computer Science and Systems Engineering Unit (U2IS) of ENSTA Paris, France.
Véronique Viguié Donzeau-Gouge 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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 149,15
EUR 4,63 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Concepts and Semantics of Programming Languages: A...
Image d'archives
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python (Computer Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781786305305_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concepts and Semantics of Programming Languages 1
Edité par
ISTE Ltd and John Wiley and Sons Inc, 2021
ISBN 10 : 1786305305
ISBN 13 : 9781786305305
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9781786305305
Quantité disponible : 15 disponible(s)
Image d'archives
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 42569381-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 42569381-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Concepts and Semantics of Programming Languages 1: A Semantical Approach with Ocaml and Python
Edité par
John Wiley & Sons, 2021
ISBN 10 : 1786305305
ISBN 13 : 9781786305305
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : 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 . N° de réf. du vendeur 456405606
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python (Computer Engineering)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781786305305
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Edité par
Wiley-ISTE, 2021
ISBN 10 : 1786305305
ISBN 13 : 9781786305305
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 42569381
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Edité par
Wiley-ISTE, 2021
ISBN 10 : 1786305305
ISBN 13 : 9781786305305
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 42569381
Quantité disponible : Plus de 20 disponibles
Image d'archives
Concepts and Semantics of Programming Languages 1
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. New copy - Usually dispatched within 4 working days. 454. N° de réf. du vendeur B9781786305305
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Concepts and Semantics of Programming Languages 1 : A Semantical Approach with Ocaml and Python
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : 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. N° de réf. du vendeur 9781786305305
Quantité disponible : 2 disponible(s)