Semantics and logics of computation / ed. by A. Pitts and P. Dybjer [ Livre]

Auteur principal: Pitts, Andrew M.Co-auteur: Dybjer, PeterLangue: 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.

Powered by Koha