形式语言文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：1.23MB　文档页数：20

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（3/3）

文档格式：PPT　文档大小：1.9MB　文档页数：29

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（2/3）

文档格式：PPT　文档大小：1.63MB　文档页数：27

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（1/3）

文档格式：PPTX　文档大小：822.54KB　文档页数：60

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）10_Simply-Typed Lambda Calculus

文档格式：PDF　文档大小：194.8KB　文档页数：22

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency

文档格式：PDF　文档大小：767.48KB　文档页数：203

《程序设计语言的形式语义》课程教学资源（文献资料）An Introduction to Separation Logic（Preliminary Draft）

文档格式：PPT　文档大小：6.96MB　文档页数：39

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）01_Introduction（主讲：冯新宇）Formal Semantics of Programming Languages

文档格式：PDF　文档大小：381.81KB　文档页数：65

• 8086/8088指令系统 • 算术运算与逻辑运算指令 • 指令的机器语言表示形式

文档格式：PDF　文档大小：326.8KB　文档页数：20

复旦大学：《数理逻辑》课程教学资源（讲义）第3章一阶逻辑的语言、第4章形式证明

文档格式：PPT　文档大小：602KB　文档页数：30

01 再论汉英语言的差异 02 形式结构 03 句中位置 ONTENTS C内容大纲 04 句法功能 05 语义特征