首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
32
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://kaotiyun.com/show/Do5Z777K
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
一台IP地址为202．93．120．44的主机需要发送一个有限广播，该IP数据报的源IP地址为()。
关于IP数据报格式的描述中，错误的是()。
CPU与外设在大部分时间内并行工作。当CPU启动外设后，不需要去查询其工作状态，可继续执行主程序，该I／O设备控制方式称为()。
有一个虚拟页式存储系统，采用最近最少使用(LRU)页面置换算法，系统分给每个进程3页内存，其中一页用来存放程序和变量i，j(不作他用)。假设一个页面可以存放300个整数变量。某进程程序如下：设变量i，j放在程序页面中，初始时，程序及变量i，j已在内
在网络协议的3要素中，定义用户数据与控制信息格式的是()。
在采用页式存储管理方案的系统中，逻辑地址用32位表示，内存分块大小为210。则用户程序最多可划分成多少页?()
采用动态地址映射方式向内存装入程序时，其地址转换工作是在什么时间完成的?()
随机试题
A、均数B、几何均数C、中位数D、四分位数间距E、标准差正常成人血铅值呈正偏态分布，但经对数变换后近似服从正态分布，描述其集中位置宜用
下列选项中，当事人应当承担侵权责任的是()。
有关消防安全重点单位的申报，下列说法正确的是()
100美元的运费单价应填报()。
下列关于职工与职工薪酬的说法中，不正确的是()。
当环境温度高于皮肤温度时，机体唯一有效的散热方式是()。
新修订的《老年人权益保障法》特别强调，与老年人分开居住的家庭成员，应当经常看望或者问候老年人。有专家表示，“常回家看看”入法，可以解决空巢老年人的问题。以下哪项为真，最能削弱专家的观点?
在软件系统的生命周期中，软件度量包括3个维度，即项目度量、产品度量和(8)。
在数据库的三级模式结构中，外模式有（）。
有表示公司和职员及工作的三张表，职员可在多家公司兼职。其中公司C（公司号，公司名，地址，注册资本，法人代表，员工数），职员S（职员号，姓名，性别，年龄，学历），工作W（公司号，职员号，工资），则表W的键（码）为
最新回复
(
0
)
