Summary goes here

Dades bibliogràfiques

Format:	Llibre
Idioma:	anglès
Matèries:	Denotational semantics. Langages de programmation Programmeertalen. Lambda-Kalkül. Programmiersprache. Programmverifikation. Semantik. Computer systemsProgramming languages.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!