B-Method
B-Method
(programming, tool)Abstract Machines are specified using the Abstract MachineNotation (AMN) which is in turn based on the mathematicaltheory of Generalised Substitutions.
单词 | b-method |
释义 | B-MethodB-Method(programming, tool)Abstract Machines are specified using the Abstract MachineNotation (AMN) which is in turn based on the mathematicaltheory of Generalised Substitutions. |
随便看 |
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。