首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
28
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://kaotiyun.com/show/Do5Z777K
本试题收录于:
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
一台IP地址为202.93.120.44的主机需要发送一个有限广播,该IP数据报的源IP地址为()。
下列哪些方法可用于文件的存取控制和保护?()
对于如下C语言程序intmain(){printf("HelloWorld\n");fork();printf("HelloWorld\n");}在UNIX操作系统中正确编译链接后,其正确的运行结
在IP数据报分片后,分片报头中的哪些字段与原数据报中的字段一定相同?()
在网络协议的3要素中,定义用户数据与控制信息格式的是()。
在多道程序设计系统中,下列能并行工作的是()。
随机试题
决策的类型较多,根据问题的性质,决策可以分为
当皮肤、巩膜出现黄疸时,表示血液中胆红素超过()
与幼儿相比,不属于老年人腹部特点的是
反映企业中各工作部门之间的指令关系的组织工具应当是()。
我国现行房产税的计税依据有()。
各责任中心相互提供的产品采用协商定价的方式确定内部转移价格时,其协商定价的范围应该是()。
如果我们只把以前的学习文件照抄一遍,( ),更谈不到用其正确地解决问题,那样,即使我们口头上大讲拥护“三个代表”重要思想,实际上也只能是南辕北辙而已。填在括号里最恰当的句子是( )。
若一个网络系统中有270个信息点,按照EIA/TIA586标准进行结构化布线时,一般需要RJ-45头的总量是(148)个。
Whyarewefarfromsatisfiedwithourbasicneeds?
A、Othersmayfollowyourstep.B、Othersmaynotunderstandyou.C、Otherswillloseinterestinphilosophy.D、Otherswillnotdis
最新回复
(
0
)