2. 首页 > IT类 >
  2. 问题

程序正确性证明最常用的方法是【】,它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证

18 查阅

程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

参考答案:

归纳断言法归纳断言法

计算机三级

相关问题:
  • 执行下列哪一条指令后,就能用条件转移指令判断AL和BL寄存器中的最高位
  • 命题:“Z比X、Y都大”的VB逻辑表达式为()。
  • ()有许多共享命令和过程。当用户得知如何创建和打开一个对话框后,也就
  • 只要运算器具有()和()功能，再增加一些控制逻辑，计算机就能完成各种算术运
  • 在计算机内部，不需要编译，计算机就能直接执行的语言是（）。
  • 某水库现在的水位已超过安全线，上游河水还在匀速流入。为了防洪，可以利用
  • 计算机软件只要开发完成就能具有（）并受到法律保护。
  • 某公司正在开发一项新业务，叫“智能电话”。这项业务使人只需对着电话说
    • 随便看看:
  • 健康养生
  • 亲子
  • 胎教
  • 孕妇健康
  • 中药百科
  • 心理

    • Ta老师-周边问题

    1.
    Novell公司收购了SUSE,以便通过SUSEProfe
    2.
    采用CSMA／CD介质访问控制方法的局域网适用
    3.
    TCP／IP参考模型的主机－网络层对应于OSI参考
    4.
    与外存储器相比,内部存储器的特点是
    5.
    决定局域网特性的主要技术中,最重要的是
    6.
    在B类网络中,可以分配的主机地址是多少?
    7.
    在网络综合布线中,建筑群子系统之间最常
    8.
    以下正确描述100Base－TX标准特性的是
    9.
    IP电话系统基本组件包括终端设备(Termina
    10.
    关于IPv6,下面的论述中正确的是
    11.
    划分VLAN的方法有许多种,这些方法中不包
    12.
    在混合式结构的P2P网络中,用户节点可以选
    13.
    目前,常用BitTorent、PPLive软件是 P2P网
    14.
    0.0.5代表的是
    15.
    计算机网络拓扑通过网中节点与通信线路之
    16.
    某公司的网络地址为192.168.1.0要划分成5
    17.
    TCP／IP网络的体系结构分为应用层、传输层
    18.
    网络的不安全性因素有
    19.
    串行传输与并行传输相比较,其优点是
    20.
    常规的数据加密标准DES采用56位有效密钥
    版权所有,保留一切权利！© 2018-2023 Ta老师 Talaoshi.com 湘ICP备18019507号-1 联系QQ:469958。