首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
20
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://kaotiyun.com/show/Do5Z777K
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
一台IP地址为202．93．120．44的主机需要发送一个有限广播，该IP数据报的源IP地址为()。
关于IP数据报格式的描述中，错误的是()。
CPU与外设在大部分时间内并行工作。当CPU启动外设后，不需要去查询其工作状态，可继续执行主程序，该I／O设备控制方式称为()。
某系统在打印数据时，读数据进程、处理数据进程和打印结果进程之间的相互关系是()。
有如下C语言程序void*th_f(void*arg){printf("HelloWorld")；pthread_join(2)；}intmain(void){pthread_
在多道程序设计系统中，下列能并行工作的是()。
随机试题
张某、方某共同出资，分别设立甲公司和丙公司。2013年3月1日，甲公司与乙公司签订了开发某房地产项目的《合作协议一》，约定如下：“甲公司将丙公司10％的股权转让给乙公司，乙公司在协议签订之日起三日内向甲公司支付首付款4000万元，尾款1000万元在次年3月
某化肥厂以其污水处理设施“效率低、费用高”为由，予以停运拆除。在下列哪一情况下，该厂构成违反《环境保护法》的行为?(2011—卷一—31，单)
住房公积金提取和使用的原则是()。
常见的打印机有()。
下列关于房产税计税依据的说法不正确的是()。
下列有关金融资产或金融负债的会汁处理中，正确的有()。
手机中的ROM指的是()。
Thediscussionwassoprolongedandexhaustingthat________thespeakersstoppedforrefreshments.
在SQL语句中，要删除仓库关系中仓库号的字段值是WH2的记录，可利用命令：______FROM仓库WHERE仓库号="WH2"
Doyouthinkpeoplearegettingtoworklongerhoursinyourcountry?Whyisthat?
最新回复
(
0
)
