理学 形式化方法 释 formal methods 形式化方法 基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
formalization method 形式化方法 logistic method 逻辑斯谛方法，形式化方法
软件工程 释文 formal method 形式化方法
- Empress Dowager Liang
- Empress Dowager Liu
- Empress Dowager Lou Zhaojun
- Empress Dowager Luo
- Empress dowager Mozang
- Empress Dowager Xiaochun
- Empress Dowager Xiaoding
- Empress Dowager Xiao He
- Empress Dowager Xiao Hui
- Empress Dowager Xiaojie
- Empress Dowager Xiao Jing
- Empress Dowager Xiaoke
- Empress Dowager Xiaomu
- Empress Dowager Xie
- Empress Dugu
- Empresses in The Palace
- Empress Jia
- empress Ki
- Empress Lyv
- Empress of China
- Empress of Guangzong
- Empress of Jingtai
- Empress of Renzong
- Empress of Xuanzong
- Empress of Yingzong