程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
解析：
[分析]： 在系统开发中，验证程序的正确性采用的是数学的方法。
在端到端加密方式中，对网络上传输的______将进行加密。
A．数据报文和协议控制信息(PC
B．数据报文和路由信息
C．数据报文和校验码
D．数据报文
在古典主义思潮的影响下，成为绝对君权时期城市建设的典范里，不包括( )。
A．圣彼得大教堂 B．香榭丽舍大道C．协和广场 D．凡尔赛宫
