问答题

【参考答案】

1)可靠的程序设计方法:包括递归程序设计和结构化程序设计法等技术。
2)程序验证技术:包括程序正确性证明、程序......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)