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

单词	b-method
释义	B-Method B-Method (programming, tool)A system for rigorous or formaldevelopment of software using the notion of Abstract Machines to specify and design software systems. TheB-Method is supported by the B-Toolkit. Abstract Machines are specified using the Abstract MachineNotation (AMN) which is in turn based on the mathematicaltheory of Generalised Substitutions.
随便看	instructions to bidders instructions to offerors instructions to tenderers instruction tightly coupled memory instruction time instruction to bidder instruction to contractors instruction to defense instruction to proceed instruction to tenderers instruction transfer instruction translation look-aside buffer instruction translation lookaside buffer instruction type prediction table instruction word instructive instructive case instructive district nursing association instructively instructiveness instructive theory instructive visiting nurse association instruct me in instruct one in instructor

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

B-Method