中英▼
go top

abstract machine notation

  • 抽象机记法

网络释义专业释义英英释义

  抽象机记法

...rchical abstract machine methodology 阶层式抽象机方法学 abstract machine notation 抽象机记法 abstract machine notation，AMN 抽象机记法 ..

基于12个网页-相关网页

  • 抽象机记法

·2,447,543篇论文数据，部分数据来源于NoteExpress

Abstract machine notation

  • abstract: The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定