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

程序正确性证明是用______来证明程序正确性的方法。

15 查阅

程序正确性证明是用______来证明程序正确性的方法。

参考答案:

数学的方法数学的方法

计算机三级

相关问题:
  • 白盒测试方法是将被测对象看成一个打开的盒子,测试人员了解程序的内部
  • 接入Internet通常采用两种方法:一是通过【 】直接与ISP连接。二是连接
  • 散列法存储中处理碰撞的方法主要有两类:接链法和【】
  • 利用一串二进制位的值来反映磁盘空间的分配使用情况的方法称为 ______
  • 数据库概念设计的E－R方法,在E－R图中属性用 ______ 表示。
  • VoIP网关压缩编码的方法和装入IP分组的方法是由ITU－T建立的标准规定的。
  • 从介质访问控制方法的角度,局域网可分为两类,即共享局域网与。
  • Token Bus是一种在总线拓扑中利用“”作为控制节点访问公共传输介质的
    • 随便看看:
  • 健康养生
  • 亲子
  • 胎教
  • 孕妇健康
  • 中药百科
  • 心理

    • Ta老师-周边问题

    1.
    引发蓄电池失效的原因有板栅腐蚀及增长、
    2.
    画出TCP／IP协议层概念模型。
    3.
    以下关于CICS和RISC日常的叙述()是错误的
    4.
    移动通信是指通信的至少是一方可以在移动
    5.
    空分复用是将通信的时间分成相等的间隔,
    6.
    光纤接入网是指在接入网中用光纤作为主要
    7.
    (a)程控数字交换机的模拟用户电路具有BOR
    8.
    固定电话用户在外出时为避免耽误接听电话
    9.
    数字同步网中的受控时钟源是指时钟源输出
    10.
    ATM交换单元的缓冲排队方工分为哪几种?
    11.
    阀控式铅酸蓄电池的正极活性物质为(1),负
    12.
    图1－1是No.7信令网的部分示例图。图中用字
    13.
    虚拟网业务是电信运营商在市话交换机公网
    14.
    某用户使用一个手机应用软件,可实时搜索
    15.
    当手机在小区内移动时,它的发射功率需要
    16.
    业务交换点(SSP)的功能与普通的交换机(SW
    17.
    GPRS网络子系统由()等组成。
    18.
    某交换局使用的直流耗电量为500 A／48V,要
    19.
    当前我国用户沿着使用的微信、手机在线阅
    20.
    网络管理的任务,是把那些可能严重影响网
    版权所有,保留一切权利！© 2018-2023 Ta老师 Talaoshi.com 湘ICP备18019507号-1 联系QQ:469958。