Introduction à la théorie des langages de programmation

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Dowek, Gilles, 1966-
Övriga upphovsmän: Lévy, Jean-Jacques.
Materialtyp: Livre
Språk: Français
Publicerad: Palaiseau : Les Éd. de l'École polytechnique, impr. 2006.
Ämnen:
Autres localisations: Voir dans le Sudoc
Sammanfattning: 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

  Placering Signum Status
Libre accès 005.13 DOW Tillgänglig