《Python语言程序设计》课程教学资源（拓展资源）零基础Python上手编程（2020版）
文件格式: PDF大小: 10.22MB页数: 218
《Python语言程序设计》课程教学资源（拓展资源）Python练习实例（Python 100例）
文件格式: PDF大小: 1.6MB页数: 95
私立华联学院：《Python语言程序设计》课程教学资源（教案讲义）课程教学设计（负责人：尹菡）
文件格式: PDF大小: 1.44MB页数: 81
私立华联学院：《Python语言程序设计》课程教学资源（教案讲义）课程标准（适用专业：软件技术）
文件格式: PDF大小: 427.29KB页数: 15
私立华联学院：《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