Introduction à la théorie des langages de programmation
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Livre |
| Iaith: | Français |
| Cyhoeddwyd: |
Palaiseau :
Les Éd. de l'École polytechnique,
impr. 2006.
|
| Pynciau: | |
| Autres localisations: | Voir dans le Sudoc |
| Crynodeb: | 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
| Lleoliad | Rhif Galw | Statws | |
|---|---|---|---|
|
|
Libre accès | 005.13 DOW | Ar gael |