理学 形式化方法 释 formal methods 形式化方法 基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
formalization method 形式化方法 logistic method 逻辑斯谛方法，形式化方法
软件工程 释文 formal method 形式化方法
- poly(vinylidene fluoride)
- polyvinylidene fluoride
- polyvinylidine chloride
- polyvinyl pyrrolidone
- polyvinylpyrrolidone
- polywater
- polyword
- polyzonal curve
- poly(α-cyanoacrylate)
- poly (β-alanine)
- poly β-hydroxybutyrate，PHB
- poly(ε-amino caproic acid)
- poly(ε-amino caproic acid); poly(6-amino caproic acid); polycaprolactam
- poly (ε-caprolactam)
- poly (ε-caprolactone)
- poly (ε-caprolactone) (PCL)
- poly（butylene succinate-co-butylene terephthalate) fiber
- poly（p-phenylene）
- Polzunov crater
- POM
- Pombaline Reforms
- Pombal's Reform
- pome
- pomegranate
- pomegranate husk