创建自己的小题库
搜索
【单选题】
研究如何从形式化的规格说明推演出具体的面向计算机的程序代码的全过程，这个概念是指（ ）。
A.
形式化程序求精
B.
形式化规格说明
C.
模型验证
D.
定理证明
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【单选题】在HTML颜色属性设置中，BLACK的代码是（）。
A.
“#008000”
B.
“#000000”
C.
“#000507”
D.
“#00FF00&rdquo
【单选题】下列代码的执行结果是______。 public class ex53 { public static void main (String args [] ) { float t=9.of; int q=5; System.out.println ((t++) * (--q)); } }
A.
40
B.
40.0
C.
36
D.
36.0
【多选题】外汇代码标准管理的基本原则包括（）。
A.
外汇局开发的信息系统应统一执行外汇代码标准及相关规范，不能利用代码编制规则进行有关统计分析，以减小对代码编制规则的依赖。
B.
外汇代码标准编制时要严格遵守编码规则。外汇局自行编制外汇代码标准时，编码所用到的英文字母原则上可以小写。
C.
外汇代码标准之间应保持协调、统一、不重复，原则上代码变更通过停用1日代码、增加新代码的方式实现。
D.
档案信息类外汇代码标准仅限外汇管理相关信息系统使用，未经总局标准主管部门批准，不得用于其他用途。
相关题目：
【单选题】在HTML颜色属性设置中，BLACK的代码是（）。
A.
“#008000”
B.
“#000000”
C.
“#000507”
D.
“#00FF00&rdquo
【单选题】下列代码的执行结果是______。 public class ex53 { public static void main (String args [] ) { float t=9.of; int q=5; System.out.println ((t++) * (--q)); } }
A.
40
B.
40.0
C.
36
D.
36.0
【多选题】外汇代码标准管理的基本原则包括（）。
A.
外汇局开发的信息系统应统一执行外汇代码标准及相关规范，不能利用代码编制规则进行有关统计分析，以减小对代码编制规则的依赖。
B.
外汇代码标准编制时要严格遵守编码规则。外汇局自行编制外汇代码标准时，编码所用到的英文字母原则上可以小写。
C.
外汇代码标准之间应保持协调、统一、不重复，原则上代码变更通过停用1日代码、增加新代码的方式实现。
D.
档案信息类外汇代码标准仅限外汇管理相关信息系统使用，未经总局标准主管部门批准，不得用于其他用途。
参考解析：
AI解析
重新生成
题目纠错 0
发布
