Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codage. Ce deuxième volume présente un modèle sémantique original commun aux constructions et opérations des modules et des classes : visibilité, importation, exportation, définitions différées, paramétrisation par types et valeurs, extensions. Ce modèle fonde l'étude des modules d'Ada, OCaml et des fichiers d'en-tête de C. Il est décliné pour modéliser les traits objet puis utilisé pour traiter les classes de C++, Java, Python et OCaml. Concepts et sémantique des langages de programmation 2 s'adresse aux étudiants et enseignants des cursus informatiques ainsi qu'aux programmeurs chevronnés, qui y trouveront un guide de lecture des manuels de référence ainsi que les fondements de la vérification de programmes.
"Sinopsis" puede pertenecer a otra edición de este libro.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: CW-9781784057022
Cantidad disponible: 3 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 50560985-n
Cantidad disponible: 12 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: CW-9781784057022
Cantidad disponible: 3 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 50560985
Cantidad disponible: 12 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
Paperback. Condición: New. Nº de ref. del artículo: 6666-NBN-9781784057022
Cantidad disponible: 6 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 50560985-n
Cantidad disponible: 12 disponibles
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Paperback. Condición: New. Nº de ref. del artículo: LU-9781784057022
Cantidad disponible: 3 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9781784057022_new
Cantidad disponible: 12 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 50560985
Cantidad disponible: 12 disponibles
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Paperback. Condición: new. Paperback. Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un eclairage mathematique sur leurs semantiques et une presentation precise des aspects materiels qui interferent avec le codage. Ce deuxieme volume presente un modele semantique original commun aux constructions et operations des modules et des classes: visibilite, importation, exportation, definitions differees, parametrisation par types et valeurs, extensions. Ce modele fonde l'etude des modules d'Ada, OCaml et des fichiers d'en-tete de C. Il est decline pour modeliser les traits objet puis utilise pour traiter les classes de C++, Java, Python et OCaml. Concepts et semantique des langages de programmation 2 s'adresse aux etudiants et enseignants des cursus informatiques ainsi qu'aux programmeurs chevronnes, qui y trouveront un guide de lecture des manuels de reference ainsi que les fondements de la verification de programmes. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9781784057022
Cantidad disponible: 1 disponibles