“formal methods”的概念、定义、翻译、参考文献-科学参考

单词	formal methods
释义	formal methods Encyclopedia 理学形式化方法释 formal methods形式化方法基于严格的数学基础，对计算系统和应用进行规约、开发和验证的方法。
随便看	Wu Longhan Wulong National Forest Park Wulong Qu Wulong Tiansheng Sanqiao Wulu Chongzong Wulungu Hu Wulungu River Wuluwati Water Control Project Wu Lüe Wu Ma W UMa binary W UMa eclipsing binary Wumahe Qu Wu Maiyuan Wuman people W UMa star Wu Mei Wu Meicun wumei pill Wumen Wu Mengchao Wu Mengfei Wumeng horse Wumeng Shan Wumen Painting School

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。