Foundations for programming languages

Foundations for programming languages

Enregistré dans:
Détails bibliographiques
Auteur principal : Mitchell John C. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Foundations for programming languages / John C. Mitchell
Publié : Cambridge, Mass., London : MIT Press , cop. 1996
Description matérielle : 1 vol. (XIX-846 p.)
Collection : Foundations of computing
Sujets :
Langages de programmation > Sémantique
Lambda-calcul
Logique mathématique

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C283 Prêt sans prolongation Disponible