Introduction à la théorie des langages de programmation

Zapisane w:
Opis bibliograficzny
1. autor: Dowek, Gilles, 1966-
Kolejni autorzy: Lévy, Jean-Jacques.
Format: Livre
Język: Français
Wydane: Palaiseau : Les Éd. de l'École polytechnique, impr. 2006.
Hasła przedmiotowe:
Autres localisations: Voir dans le Sudoc
Streszczenie: 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

  Lokalizacja Sygnatura Status
Libre accès 005.13 DOW Dostępne