[软件工程] chengxushejishiyan4

说明：一、实验题目： 实验4 程序的形式化推导 二、实验内容： （1） 根据给定的问题，建立前置谓词和后置谓词。 （2） 根据条件语句的推导策略，建立程序中的条件语句。 （3） 构造循环不变式，确立界函数。 （4） 根据循环语句的推导策略，建立程序中的循环语句。 （5） 面向目标，退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略，基于最弱前置条件的概念，用比较形式化的方法，从设计要求
<沈炯> 在 2024-12-26 上传 | 大小：8kb | 下载：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-12-26 上传 | 大小：11kb | 下载：0

[其它源码] note

说明：简易留言本 使用myeclipse7.0+mysql开发 技术：servler+javabean+ajax 基本功能：注册+登录+用户留言+删除+分页+修改密码- the project was maked by myeclipse7.0and mysql,the technology is jsp+servlet+javabean+ajax
<meixi78> 在 2024-12-26 上传 | 大小：481kb | 下载：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-12-26 上传 | 大小：23kb | 下载：0

[界面编程] documentationRMS

说明：this is a RMS manual guide is prepare to know about RMS application
<gurning> 在 2024-12-26 上传 | 大小：74kb | 下载：0

[技术管理] waysebusinesscanreducecosts

说明：Aliteraturereviewandclassificationofelectroniccommerce research
<shui> 在 2024-12-26 上传 | 大小：968kb | 下载：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-12-26 上传 | 大小：2.5mb | 下载：0

[技术管理] Thetendeadlymythsofecommerce

说明：Aliteraturereviewandclassificationofelectroniccommerce research
<shui> 在 2024-12-26 上传 | 大小：73kb | 下载：0

[界面编程] rms

说明：this is a source code of RMS application and manual was uploaded t-this is a source code of RMS application and manual was uploaded too
<gurning> 在 2024-12-26 上传 | 大小：77kb | 下载：0

[其他小程序] maze

说明：以一个m*n的长方阵表示迷宫，0和1分别表示迷宫中的通路和障碍。设计一个程序，对任意设定的迷宫，求出一条从入口到出口的通路，或者得到没有通路的结论。-create a maze and find pathway in it
<黄远> 在 2024-12-26 上传 | 大小：2kb | 下载：0

[Internet/网络编程] Combination

说明：Generate All possible combinations of "x" item taking "n" at a time.
<Asif> 在 2024-12-26 上传 | 大小：1kb | 下载：0

[企业管理(财务/ERP/EIP等)] EnterpriseSolution

说明：Design Pattern implemention
<sharky> 在 2024-12-26 上传 | 大小：111kb | 下载：0