“规约验证”的概念、定义、翻译、参考文献-科学参考

单词	规约验证
释义	规约验证 Encyclopedia 理学软件工程管理释 specification verification规约验证对软件的规约进行检验。 Computer 软件工程释文 specification verification规约验证
随便看	left adjoint left adjoint functor left adjoint homomorphism left adjoint linear mapping left almost-periodic function left almost split map left alternative law left alternative ring left amenable left A-module left analytic function left and right distributive Left and Right Spring Quarters left annihilating left annihilator left annihilator ideal left anteriorfascicular block left approximate identity left approximate limit left Artinian ring left Artinian semigroup left associated element left associatedness left associate grammar left associate of a matrix

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