Introduction à la théorie des langages de programmation

Salvato in:
Dettagli Bibliografici
Autore principale: Dowek, Gilles, 1966-
Altri autori: Lévy, Jean-Jacques.
Natura: Livre
Lingua: Français
Pubblicazione: Palaiseau : Les Éd. de l'École polytechnique, impr. 2006.
Soggetti:
Autres localisations: Voir dans le Sudoc
Riassunto: 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

  Localizzazione Collocazione Status
Libre accès 005.13 DOW Disponibile