首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
程序正确性证明是用______来证明程序正确性的方法。
程序正确性证明是用______来证明程序正确性的方法。
admin
2009-07-15
16
问题
程序正确性证明是用______来证明程序正确性的方法。
选项
答案
数学的方法
解析
转载请注明原文地址:https://jikaoti.com/ti/iTc7FFFM
本试题收录于：
三级信息管理技术题库NCRE全国计算机三级分类
0
三级信息管理技术
NCRE全国计算机三级
相关试题推荐
关于IP数据报格式的描述中，错误的是()。
下列哪些方法可用于文件的存取控制和保护?()
有一个虚拟页式存储系统，采用最近最少使用(LRU)页面置换算法，系统分给每个进程3页内存，其中一页用来存放程序和变量i，j(不作他用)。假设一个页面可以存放300个整数变量。某进程程序如下：设变量i，j放在程序页面中，初始时，程序及变量i，j已在内
有如下C语言程序void*th_f(void*arg){printf("HelloWorld")；pthread_join(2)；}intmain(void){pthread_
对于如下C语言程序intmain(){printf("HelloWorld＼n")；fork()；printf("HelloWorld＼n")；}在UNIX操作系统中正确编译链接后，其正确的运行结
在采用页式存储管理方案的系统中，逻辑地址用32位表示，内存分块大小为210。则用户程序最多可划分成多少页?()
用户程序在用户态下使用特权指令而引起的中断是()。
随机试题
简述政策方案设计的基本原则。
在确定审计程序的范围时，注册会计师应当考虑下列因素中不正确的是（）
遗传素质在人的发展中的作用是【】
以下哪项是癫痫持续状态
如上表所示荷载作用下，屋架下弦杆O3，的轴心拉力设计值N(kN)，与( )项数值最为相近。已知斜腹杆S1的最大轴心压力设计值为-185.8kN，截面为80×5，试问在按实腹式轴心受压构件的稳定性进行计算时，其压应力应和( )项数值最为相近。
工程担保与工程保险均属于风险()的方式。
下面各项中，可以反映企业偿债能力的指标是()。
从目的和功能的角度，可将素描分为()
根据材料完成下列要求。下图为某游客在台湾东北沿海看到的“女王头”，完成下面问题。结合图就“地貌类型的识别”和“地貌形成的主要作用力”两个教学内容分别设计一道单项选择题，并附答案。
计算并填写下表：【1】
最新回复
(
0
)
