返回首页 联系帮助
程序设计语言的形式语义
下载此书RAR压缩包在线购买PDF电子书
GlynnWinskel著；宋国新，邵志清，潘俊，孙霖等译2004 年出版283 页ISBN：7111131533
本书是计算机专业本科生研究生形式语义学教材。
计算机语言的形式语义
陆汝钤编著1992 年出版886 页ISBN：7030030222
中国科学院科学出版基金资助项目:本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容
当代语言学理论丛书 形式语义学引论
蒋严，潘海华编著2015 年出版465 页ISBN：9787500420767
程序语言的形式规范概论
周之英译1986 年出版168 页ISBN：15235·230
前卫广告设计系列有意味的形式：广告表现的形式语言
张雪2002 年出版60 页ISBN：
（美）Frank G.pagan1986 年出版168 页ISBN：
汉语的语义结构和补语形式
缪锦安编著1990 年出版180 页ISBN：7810095668
现代汉语时间副词的形式语义研究
贾改琴著2016 年出版281 页ISBN：7516181508
形式语义学的稳定论域理论
2222 年出版0 页ISBN：
程序设计语言 语法与语义
赖少庆等编著1990 年出版234 页ISBN：7540811293
