Semantics and logics of computation / ed. by A. Pitts and P. Dybjer [ Livre]
Langue: Anglais.Publication : Cambridge : Cambridge University Press, 1997Description : XII, 361 p. ; 23 cmISBN: 0521580579.Collection: Publications of the Newton Institute, 14Classification: F 3 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 | F 3 PIT (Browse shelf) | Available | F 3 Théorie des langages de programmation | 00003032 |
Notes bibliogr.