理学 形式化方法 释 formal methods 形式化方法 基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
formalization method 形式化方法 logistic method 逻辑斯谛方法，形式化方法
软件工程 释文 formal method 形式化方法
- pteridosperm
- pteridospermopsida
- pterion
- pterocarya stenoptera in Tongjiang County
- pterocephali herba
- pterodactyloids
- pteromalids
- pteromorpha
- pterosaur eggs
- pterothorax
- pteroylglutamic acid
- p terphenyl
- p-terphenyl
- p tert butylcatechol
- p-tert-butylcatechol
- pterygium
- pterygoid bone
- pterygoid lamina
- pteryla
- PTFE
- PTFE gasket
- PTH
- PTh
- p-th Chern class
- p-th order convergence