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

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

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

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

文档格式：DOC　文档大小：48KB　文档页数：8

广东财经大学：统计与数学学院《R程序设计语言》课程教学大纲