Introduction à la théorie des langages de programmation / Bertrand Meyer

Public ISBD Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Bertrand Meyer, Auteur ; Jean-François Picardat, Auteur Editeur : InterEditions Année de publication : 1992 Importance : 451p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-7296-0416-5 Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : concepts fondamentaux  fondements mathématiques  la syntaxe  sémantique  lambda-calcul  sémantique dénotationnelle  les mathématiques de la récursion  la sémantique axiomatique  la cohérence des définitions sémantiques . Introduction à la théorie des langages de programmation [texte imprimé] / Bertrand Meyer, Auteur ; Jean-François Picardat, Auteur . - InterEditions, 1992 . - 451p : ill ; 24cmx16cm. ISBN : 978-2-7296-0416-5 Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : concepts fondamentaux  fondements mathématiques  la syntaxe  sémantique  lambda-calcul  sémantique dénotationnelle  les mathématiques de la récursion  la sémantique axiomatique  la cohérence des définitions sémantiques .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
96967	08-02-1053	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200