计算科学文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：101.5KB　文档页数：2

《计算机科学技术导论》课程教学资源（PPT课件讲稿）章节目录

文档格式：PPT　文档大小：418.5KB　文档页数：38

《计算机科学技术导论》课程教学资源（PPT课件讲稿）第6章多媒体技术

文档格式：PPT　文档大小：496.5KB　文档页数：40

《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning

文档格式：PDF　文档大小：321.69KB　文档页数：19

《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）

文档格式：PDF　文档大小：134.38KB　文档页数：15

《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning

文档格式：PDF　文档大小：509.77KB　文档页数：14

《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations

文档格式：PDF　文档大小：510.71KB　文档页数：12

《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points

文档格式：PDF　文档大小：306.75KB　文档页数：15

《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements

文档格式：PDF　文档大小：363.48KB　文档页数：53

《计算机科学》相关教学资源（参考文献）Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations

文档格式：PDF　文档大小：180.29KB　文档页数：10

《计算机科学》相关教学资源（参考文献）Compositional Verification of Termination-Preserving Refinement of Concurrent Programs