[软件工程] chengxushejishiyan4

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

[技术管理] waysebusinesscanreducecosts

说明：Aliteraturereviewandclassificationofelectroniccommerce research
<shui> 在 2025-11-05 上传 | 大小：968kb | 下载：0

[技术管理] Thetendeadlymythsofecommerce

说明：Aliteraturereviewandclassificationofelectroniccommerce research
<shui> 在 2025-11-05 上传 | 大小：73kb | 下载：0

[文件格式] ucos_cn

说明：ucos,主要谈论了下ucos的几张，还是比较全面的，以前的学习资料，个人觉得不错，可以学习-ucos
<jack> 在 2025-11-05 上传 | 大小：1.77mb | 下载：0

[软件工程] b

说明：该文档 描述网上招聘系统项目的概要设计，其主要内容包括：  系统功能简介  系统结构设计  系统接口设计  数据设计  模块设计  界面设计-The purpose of this document is to describe the online recruitment system, a summary of project design, its main conten
<mm> 在 2025-11-05 上传 | 大小：276kb | 下载：0

[软件工程] zaixiandianzicidian

说明：在线电子词典开发文档。包括需求分析，总体设计，详细设计等-The development of electronic dictionaries online documents. Including needs analysis, design, detailed design, etc.
<tangyajun> 在 2025-11-05 上传 | 大小：62kb | 下载：0

[软件工程] 200735103958

说明：直流电机调速系统课件，直流电机开环、闭环、双环调速-DC motor velocity control
<scs> 在 2025-11-05 上传 | 大小：759kb | 下载：0

[软件工程] aprbs_sinyal_xr

说明：amplitude pseudo random signal
<dhanang> 在 2025-11-05 上传 | 大小：1kb | 下载：0

[编程文档] clock

说明： 数字时钟-Digital Clock
<huaka2003> 在 2025-11-05 上传 | 大小：4kb | 下载：0

[软件工程] mainnpccon_Miso_linier

说明：amplitude pseudo random signal
<dhanang> 在 2025-11-05 上传 | 大小：6kb | 下载：0

[技术管理] KK180326000_keluarga

说明：this is a excel sample files to test application upload
<nando> 在 2025-11-05 上传 | 大小：1kb | 下载：0