私立华联学院：《C语言程序设计》课程教学资源（教案讲义）课程标准（适用专业：物联网应用技术）
文件格式: PDF大小: 275.36KB页数: 7
《程序设计语言的形式语义》课程教学资源（文献资料）An Introduction to Separation Logic（Preliminary Draft）
文件格式: PDF大小: 767.48KB页数: 203
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency
文件格式: PDF大小: 194.8KB页数: 22
Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions
文件格式: PDF大小: 707.43KB页数: 193
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）06_Denotational Semantics
文件格式: PDF大小: 379.12KB页数: 50
《程序设计语言的形式语义》课程教学资源（文献资料）Lecture Notes on the Lambda Calculus
文件格式: PDF大小: 462.23KB页数: 106
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）05_Operational Semantics
文件格式: PDF大小: 329.44KB页数: 85
Sets Relations Functions Products Sums
文件格式: PDF大小: 2.15MB页数: 38