“模型检查”的概念、定义、翻译、参考文献-科学参考

单词	模型检查
释义	模型检查 Computer 理论计算机科学程序理论释文 model checking模型检查
随便看	钱元瓘墓顶石刻星图钱凤根钱南扬钱名世钱君匋钱嗣杰钱图里亚，V.A. 钱坫钱基博钱塘江钱塘江南岸海塘钱塘江大桥钱塘江水神钱塘江海塘钱塘江涌潮钱塘江阶钱塘湖隐济颠禅师语录钱塘遗事钱壮飞钱多多嫁人记钱大昕钱天鹤钱存训钱学森钱学森图书馆

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