英语词汇“formal methods”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	formal methods
释义	formal methods formal methods (mathematics, specification)Mathematically based techniquesfor the specification, development and verification ofsoftware and hardware systems. Referentially transparent languages are amenable to symbolicmanipulation allowing program transformation (e.g. changinga clear inefficient specification into an obscure butefficient program) and proof of correctness. Oxford FM archive.
随便看	automatic language processing advisory committee automatic laser restart automatic laser shutdown automatic laser target classification automatic laser tracking system automatic launch of expendables automatic learning system automatic letter facer automatic level adjuster automatic level compensation automatic level control automatic level control equipment automatic level control l... automatic leveling circuit automatic leveling control automatic lexical knowledge base automatic library control automatic library issue document automatic library tracking database automatic licence verification automatic license plate recognition automatic life preserver automatic light aircraft readiness monitoring automatic light control automatic lighting control

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。