Logic of domainsde Guo-Qiang ZhangMateriasProgramming languages (Electronic computers)SemanticsSymbolic and mathematical LogicLogique symboliqueLogique symbolique et mathématiqueFunktionale SemantikSémantique dénotationnelleSémantique langage programmationThéorie domaineProgrammierspracheLangages de programmationEdiciones (1)Logic of domains (1991)Birkhauser · inglésMás obras de Guo-Qiang ZhangDomains and processes2001Ver todas las obras de Guo-Qiang Zhang →