1. 首页
  2. 移动开发
  3. 其他
  4. 指称语义:语言发展的一种方法论Denotational Semantics: A Methodology for Language Development

指称语义:语言发展的一种方法论Denotational Semantics: A Methodology for Language Development

上传者: 2020-08-06 01:28:48上传 TXT文件 104B 热度 10次
介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题,强调描述和实现方面。
下载地址
用户评论