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

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

Powered by Koha