Concepts Et Sémantique Des Langages De Programmation - Tome 2, Constructions Modulaires Et Objet Avec Ocaml, Python, C++, Ada Et Java - Hardin Thérèse
- Collection: INFORMATIQUE
- Format: Beau livre Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre170,16 €
Produit Neuf
Ou 42,54 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781784057022_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Concepts Et Sémantique Des Langages De Programmation - Tome 2, Constructions Modulaires Et Objet Avec Ocaml, Python... - Livre Informatique
0 avis sur Concepts Et Sémantique Des Langages De Programmation - Tome 2, Constructions Modulaires Et Objet Avec Ocaml, Python... - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Elder Scrolls V, Skyrim - Peuples Et Créatures
6 avis
Occasion dès 109,00 €
-
La Légende Final Fantasy I, Ii & Iii - Création, Univers, Décryptage
2 avis
Occasion dès 100,00 €
-
Tcp/Ip Illustre - Volume 1, Les Protocoles
Occasion dès 96,59 €
-
Final Cut Pro 5 - Ouvrage D'auto-Formation Apple (1 Dvd)
1 avis
Occasion dès 220,54 €
-
Protection Des Réseaux Électriques
1 avis
Occasion dès 214,00 €
-
Métaheuristiques Pour La Robotique - Volume 4 De La Série "Les Métaheuristiques
Neuf dès 108,68 €
-
Intégrité Du Signal - Compatibilité Électromagnétique Dans Les Interconnexions Haut Débit
1 avis
Neuf dès 127,10 €
-
Guide Pratique De La Cem - Les Sources De Perturbations - Les Techniques De Protection
Neuf dès 139,00 €
Occasion dès 260,83 €
-
Atari - L'histoire Et L'art D'une Marque Culte
2 avis
Occasion dès 169,00 €
-
Dispositifs Et Circuits Intégrés Semiconducteurs, Physique Et Technologie
Occasion dès 152,00 €
-
Histoire De Nintendo (L') - Nouvelle Édition - Tome 3
3 avis
Occasion dès 179,99 €
-
Personnalisez Vos Montages Arduino - Techniques Pratiques Et Fonctions Avancées
1 avis
Occasion dès 185,91 €
-
Dessiner Facilement Sur Ipad Avec Procreate
1 avis
Occasion dès 104,31 €
-
Specification Formelle Avec B
Occasion dès 233,73 €
-
Mise Au Point Des Installations Hydrauliques - Map Hydraulique, Vérifier, Mesurer, Régler Pour La Meilleure Qualité Des Installations De Génie Climatique
Occasion dès 152,00 €
-
Les Enfants De L'ordinateur
1 avis
Occasion dès 103,33 €
-
3 Systèmes Experts En Turbo Pascal Utile
Occasion dès 149,96 €
-
Ethique Et Transition Numérique
Neuf dès 171,34 €
-
Traite De L'electronique Analogique Et Numerique - Volume 2, Techniques Numériques Et Analogiques
1 avis
Occasion dès 104,90 €
-
Utiliser Ms Dos A L Aide De L Assembleur Trio Eyrolles
Occasion dès 100,00 €
Produits similaires
Présentation Concepts Et Sémantique Des Langages De Programmation - Tome 2, Constructions Modulaires Et Objet Avec Ocaml, Python...
- Livre Informatique
Résumé :
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.
Biographie:
Thérèse Hardin est professeur émérite au Laboratoire d'informatique de Paris 6 (LIP6), à Sorbonne-Université. Mathieu Jaume est maître de conférences au Laboratoire d'informatique de Paris 6 (LIP6), à Sorbonne-Université. François Pessaux est professeur associé à l'Unité d'informatique et d'ingénierie des systèmes (U2IS) de l'ENSTA Paris. Véronique Viguié Donzeau-Gouge est professeur émérite au Centre d'études et de recherche en informatique (CEDRIC) du Conservatoire national des arts et métiers (Cnam Paris).
©
Détails de conformité du produit
Personne responsable dans l'UE