首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
23
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://kaotiyun.com/show/Do5Z777K
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
关于IP数据报格式的描述中，错误的是()。
CPU与外设在大部分时间内并行工作。当CPU启动外设后，不需要去查询其工作状态，可继续执行主程序，该I／O设备控制方式称为()。
有如下C语言程序void*th_f(void*arg){printf("HelloWorld")；pthread_join(2)；}intmain(void){pthread_
对于如下C语言程序intmain(){printf("HelloWorld＼n")；fork()；printf("HelloWorld＼n")；}在UNIX操作系统中正确编译链接后，其正确的运行结
程序的并发执行产生了一些和程序顺序执行时不同的特性，下列哪一个特性是正确的?()
采用动态地址映射方式向内存装入程序时，其地址转换工作是在什么时间完成的?()
随机试题
上好一节课的内在动力是()
女，35岁，月经3天／28天。末次月经在5月1日，于5月16日行输卵管结扎术。6月5日月经尚未来潮，妊娠试验阴性。查体：子宫稍软，无明显增大。6月28日月经仍未来潮，复查子宫增大如妊娠2个月大小，诊断早孕。问：此例结扎失败的原因为()
类风湿性关节炎特点不包括
A．肼苯哒嗪B．硝苯地平C．硫氮酮D．普萘洛尔E．氢氯噻嗪适用于高肾素型高血压的药物是()
指出下列错误的是
计算机网络是以硬件资源、软件资源和信息资源共享以及信息传递为目的，在统一的网络协议控制下，将地理位置分散的许多独立的计算机系统连接在一起所形成的网络。()
清算结束后,需要完成证券由卖方向买方转移和应对的资金由买方向卖方转移的过程属于()。
一般来讲，都将绝缘的高电压试验放在非破坏性试验项目合格通过之后进行，以避免或减少不必要的损失。()
新学期开学以来，班主任周老师发现班上学生中存在这样的情况：他们没有学习计划，只是听从老师和家长的安排；课堂上很少积极发言，除非老师点名；除了完成老师布置的作业外，课后几乎不主动复习、总结；不愿独立思考，遇到具有一定挑战性的问题，不愿积极寻求解决办法，总是寄
阅读以下文字，完成下列问题题。长期以来，我们将“装饰”单纯看成是一种“美化”的手段。现代主义设计思潮影响中国以后，不少艺术家和设计家更将“装饰”和“设计”对立起来，以为“无装饰”或者“反装饰”才是“现代设计”。这种【】的观念所造成的负面
最新回复
(
0
)
