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

文档格式：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）

文档格式：PDF　文档大小：707.43KB　文档页数：193

Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions

文档格式：PDF　文档大小：379.12KB　文档页数：50

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）06_Denotational Semantics

文档格式：PDF　文档大小：462.23KB　文档页数：106

《程序设计语言的形式语义》课程教学资源（文献资料）Lecture Notes on the Lambda Calculus

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

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