首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
27
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://www.kaotiyun.com/show/Do5Z777K
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
如果在通信信道上发送1字节所需时间为0．004ms，则该信道的数据传输速率是()。
某系统在打印数据时，读数据进程、处理数据进程和打印结果进程之间的相互关系是()。
程序的并发执行产生了一些和程序顺序执行时不同的特性，下列哪一个特性是正确的?()
在IP数据报分片后，分片报头中的哪些字段与原数据报中的字段一定相同?()
在网络协议的3要素中，定义用户数据与控制信息格式的是()。
在采用页式存储管理方案的系统中，逻辑地址用32位表示，内存分块大小为210。则用户程序最多可划分成多少页?()
在多道程序设计系统中，下列能并行工作的是()。
用户程序在用户态下使用特权指令而引起的中断是()。
随机试题
以“飘逸、奔放、雄奇、壮丽”为诗歌风格的唐代诗人是()
下列哪种心音不可闻及下列何种情况是球囊扩张的适应证
统计资料显示，1996年至2001年全国城镇住宅竣工面积分别为3.6、3.8、4.0、5.0、5.1和5.4亿平方米，则这期间城镇住宅竣工面积的年平均增长速度为()。
公司在清算期间的下列行为中，不符合法律规定的是()。
罗华在自己家小区门口开了一间汽修店，一天因修理一辆进口越野车缺零配件，晚上回家见小区里停有一辆与汽修店需要维修车同型号的越野车，便将需要的零配件盗走，罗华的行为()。
刘某自退休后在自己的院子里种植了许多盆景，由于造型别致，路过他家的人总会驻足观赏。刘某的行为所产生的外部影响可称为()。
根据所给资料，回答以下问题。2012年全年研究生教育招生59．0万人，在校研究生172．0万人，毕业生48．6万人。普通高等教育本专科在校生2391．3万人，毕业生624．7万人。各类中等职业教育在校生2120．3万人，毕业生673．6万人。全国普通高中
2006—2012年，上表中指标数值逐年减小的指标有()。
Didyounoticethe______onthedoctor’sfacewhenheheardthatKinohadfoundthepearloftheworld?
Wehadn’tmetfor8years,but_________________________________________(见面时我一眼就认出了她).
最新回复
(
0
)
