Introduction à la théorie des langages de programmation
Format BrochéAuteur : Jean-Jacques Lévy, Gilles Dowek
Livraison à la Réunion tout compris
Retours et SAV simplifiés
Ce produit dispose de la Garantie Isleden
Description
La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages.
Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets, ... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages.
Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.
Caractéristiques
Caractéristiques
- Format
- Broché
- Auteur(s)
- Gilles Dowek
Jean-Jacques Lévy - Collection
- ECOLE POLYTECHNIQUE
- Date de parution
- 12/10/2006
Livraison à la Réunion
Notre priorité est votre satisfaction et nous mettons tout en œuvre pour vous apporter un service irréprochable.
|
Grâce à sa logistique ultra-performante, grâce à ses partenaires locaux, Isleden apporte votre commande directement chez vous ou dans votre boîte aux lettres si vous n'êtes pas là.
Si le colis est trop volumineux ou si sa valeur est importante, le colis sera remis au Bureau de poste le plus proche ou vous pourrez aller le chercher au moment qui vous arrange, en toute sécurité.
Commandez depuis votre canapé et faites vous livrer à domicile. C'est aussi simple que ça !
|
Chaque jour, Isleden ajoute à son catalogue de nouveaux fournisseurs et des milliers de produits. Revenez régulièrement pour trouver la perle rare.
Dès la commande passée, nous mettons tout en œuvre afin de réduire le temps de livraison. Nos transporteurs et partenaires locaux font le maximum pour vous apporter rapidement votre commande, dans les meilleures conditions.
Que vous commandiez un téléphone mobile, une perceuse ou un ordinateur portable, nous attachons une grande importance à ce que vous profitiez rapidement de votre achat.
|
Fini la galère des achats sur les sites qui ne livrent pas directement, rapatriés comme on peut, sans retour possible ni SAV, et parfois avec une ardoise à l'arrivée qu'on avait pas prévu.
Chez Isleden il n'y a pas de taxes ni de frais de douane. Nos prix sont tout compris et vous n'avez rien à payer à l'arrivée. Vous avez la possibilité de nous retourner votre produit sous 14 jours et le SAV est bien sûr pris en charge.
Tous nos produits sont garantis et bénéficient du service premium Isleden. en cas de panne, le formulaire disponible sur le site permet faciemnt d'enregistrer son SAV qui sera alors traité dans les meilleurs délais.