南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）04-Environment Diagrams
文件格式: PPTX大小: 868.37KB页数: 20
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）03-Control
文件格式: PPTX大小: 839.21KB页数: 17
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）02-Names & Functions
文件格式: PPTX大小: 1.1MB页数: 22
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）01-Introduction（主讲：冯新宇）
文件格式: PPTX大小: 966.83KB页数: 22
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
文件格式: PPT大小: 352KB页数: 40
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
文件格式: PPT大小: 731KB页数: 28
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
文件格式: PPT大小: 414.5KB页数: 28
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
文件格式: PPT大小: 585.5KB页数: 21
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
文件格式: PPT大小: 496.5KB页数: 40
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
文件格式: PDF大小: 321.69KB页数: 19