资源列表
排序选择:
[软件工程] chengxushejishiyan4
说明:一、实验题目: 实验4 程序的形式化推导 二、实验内容: (1) 根据给定的问题,建立前置谓词和后置谓词。 (2) 根据条件语句的推导策略,建立程序中的条件语句。 (3) 构造循环不变式,确立界函数。 (4) 根据循环语句的推导策略,建立程序中的循环语句。 (5) 面向目标,退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略,基于最弱前置条件的概念,用比较形式化的方法,从设计要求<沈炯> 在 2024-09-08 上传 | 大小:8192 | 下载:0
[其他小程序] TransExe1_1
说明:词法分析器 编译原理 将一个C语言代码存入txt文件中,放在主目录下,运行程序就可以了。 txt文件名:Learn2.txt-Principles of lexical analyzer will compile a C language code into the txt file, on the main directory, run the program on it. txt file name: Learn2.txt<寇占平> 在 2024-09-08 上传 | 大小:11264 | 下载:0
[文件格式] C51-pointer
说明:C51,maily talk about the details about pointer which we always ignore in our daily life.-something about C51,maily talk about the details about pointer which we always ignore in our daily life<jack> 在 2024-09-08 上传 | 大小:23552 | 下载:0
[界面编程] documentationRMS
说明:this is a RMS manual guide is prepare to know about RMS application<gurning> 在 2024-09-08 上传 | 大小:75776 | 下载:0
[技术管理] waysebusinesscanreducecosts
说明:Aliteraturereviewandclassificationofelectroniccommerce research<shui> 在 2024-09-08 上传 | 大小:991232 | 下载:0
[其他小程序] multi-corePPT
说明:浙江大学多核程序设计课程PPT,2007年6月12日。介绍了多核程序设计的方法,是学习OPEN-MP不错的入门参考资料。-Zhejiang University, multi-core programming courses PPT, 2007 years 6 12. Introduced the method of multi-core programming is a good learning OPEN-MP reference<ctp> 在 2024-09-08 上传 | 大小:2617344 | 下载:0
[技术管理] Thetendeadlymythsofecommerce
说明:Aliteraturereviewandclassificationofelectroniccommerce research<shui> 在 2024-09-08 上传 | 大小:74752 | 下载:0