C＃程序设计语言文库下载_中国高校课件下载中心

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

文档格式：PDF　文档大小：329.44KB　文档页数：85

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

文档格式：PPTX　文档大小：356.78KB　文档页数：76

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

文档格式：PDF　文档大小：2.15MB　文档页数：38

Sets Relations Functions Products Sums

文档格式：PPTX　文档大小：131.06KB　文档页数：10

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