南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）10-Trees
文件格式: PDF大小: 317.51KB页数: 89
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）09-Data-Abstractions
文件格式: PDF大小: 349.69KB页数: 124
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）08-Containers
文件格式: PDF大小: 170.13KB页数: 87
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
文件格式: PDF大小: 321.69KB页数: 19
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
文件格式: PDF大小: 134.38KB页数: 15
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
文件格式: PDF大小: 509.77KB页数: 14
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
文件格式: PDF大小: 510.71KB页数: 12
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
文件格式: PDF大小: 306.75KB页数: 15
《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
文件格式: PDF大小: 363.48KB页数: 53
《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs
文件格式: PDF大小: 180.29KB页数: 10