资源列表
[软件工程] lcd-example
说明:lcd1602的keil c的程序源代码-lcd1602 of keil c program source code<ellenxu> 在 2025-02-25 上传 | 大小:8kb | 下载:0
[软件工程] chengxushejishiyan4
说明:一、实验题目: 实验4 程序的形式化推导 二、实验内容: (1) 根据给定的问题,建立前置谓词和后置谓词。 (2) 根据条件语句的推导策略,建立程序中的条件语句。 (3) 构造循环不变式,确立界函数。 (4) 根据循环语句的推导策略,建立程序中的循环语句。 (5) 面向目标,退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略,基于最弱前置条件的概念,用比较形式化的方法,从设计要求<沈炯> 在 2025-02-25 上传 | 大小:8kb | 下载:0
[软件工程] projectmananger
说明:一个好的项目管理进度表格模板,大家可以参考参考!-failed to translate<xinsky> 在 2025-02-25 上传 | 大小:8kb | 下载:0
[软件工程] finger4
说明:fingerprint recognition best algoritm<Alex Dremin> 在 2025-02-25 上传 | 大小:8kb | 下载:0
[软件工程] SummaryofthedesignspecificationGB856788
说明:概要设计说明书,国家标准。 -Summary of the design specification (GB8567- 88), the national standard.<阿杜> 在 2025-02-25 上传 | 大小:8kb | 下载:0
[软件工程] UsingTheCEViewer
说明:在CE设备上创建HTML Viewer控件。一旦动画,这个控件使您可以将任何能够被提供使用HTML标记的数据从桌面设备传输到CE设备。-Create an HTML viewer control on a CE device. Once animated, this control allows you to pass any data that is capable of being rendered by using HTML ta<白林> 在 2025-02-25 上传 | 大小:8kb | 下载:0