Introduction à la théorie des langages de programmation

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Dowek, Gilles, 1966-
Weitere Verfasser: Lévy, Jean-Jacques.
Format: Livre
Sprache: Français
Veröffentlicht: Palaiseau : Les Éd. de l'École polytechnique, impr. 2006.
Schlagworte:
Autres localisations: Voir dans le Sudoc
Zusammenfassung: 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

  Standort Signatur Status
Libre accès 005.13 DOW Verfügbar