首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
15
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://kaotiyun.com/show/Do5Z777K
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
关于IP数据报格式的描述中，错误的是()。
如果在通信信道上发送1字节所需时间为0．004ms，则该信道的数据传输速率是()。
下列哪些方法可用于文件的存取控制和保护?()
CPU与外设在大部分时间内并行工作。当CPU启动外设后，不需要去查询其工作状态，可继续执行主程序，该I／O设备控制方式称为()。
程序的并发执行产生了一些和程序顺序执行时不同的特性，下列哪一个特性是正确的?()
在IP数据报分片后，分片报头中的哪些字段与原数据报中的字段一定相同?()
在多道程序设计系统中，下列能并行工作的是()。
随机试题
下列妇科病证中，哪项与寒邪无关()
生物碱药物片剂含量测定硫酸奎宁片的含量测定
为了保证室内空气具有一定的清洁度及温湿度等要求，就要求对生产厂房、公共建筑及居住建筑进行通风或空气调节。在采暖季节中，()称为通风热负荷。
该货物在进口时，在2004年()前申报是符合海关法定申报期限的。若货物在被使用4年半后，该单位因特殊原因需要对设备进行处理，可以用的方式有()。
A、53B、54C、55D、56B左上角的数字=其他三个数字之和，(54)=22+11+21，故选B。
假如你身边的某人犯了错误，你该怎么做?
根据以下资料。回答以下问题。十八大以来，兵团各级紧紧抓住经济换挡升级的有利时机，有力地推动了商贸规模持续扩大。2016年，兵团实现商品销售总额3341．37亿元，比2012年增长2．2倍；社会消费品零售总额632．29亿元，比2012年增长1．1倍。2
关于免除处罚的规定，下列说法不正确的是
Inthesecondparagraph,theunderlinedwords"thebuilding"mostprobablyreferto______.Agreenbuildingisoftenbuilton
Whomcanyoutrustthesedays?ItisaquestionposedbyDavidHalpernofCambridgeUniversity,andtheresearchersattheDow
最新回复
(
0
)
