Semantics and logics of computation / A. Pitts / P. Dybjer [ Livre]
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge : Cambridge University Press, 1997Description : XII, 361 pages ; 23 cmISBN: 0521580579.Collection: Publications of the Newton Institute, 14Classification: 004.14 Théorie des langages de programmationSujet - Nom commun: Programmation logique | Systèmes informatiques | Sémantique -- Informatique | Logique symbolique et mathématique | Langages formels | Langages de programmation -- Sémantique | Echange électronique d'information| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.14 PIT (Browse shelf) | Available | 004.14 Théorie des langages de programmation | 00003032 |
Notes bibliogr.