Introduction à la théorie des langages de programmation

Saved in:
Bibliographic Details
Main Author: Dowek, Gilles, 1966-
Other Authors: Lévy, Jean-Jacques.
Format: Livre
Language: Français
Published: Palaiseau : Les Éd. de l'École polytechnique, impr. 2006.
Subjects:
Autres localisations: Voir dans le Sudoc
Summary: Les différents outils qui permettent de penser, définir et implémenter les langages de programmation les plus utilisés sont présentés avec 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.

BU Sciences

  Location Call Number Status
Libre accès 005.13 DOW Available