Bandera什么意思、翻译、用法
Bandera翻译
释义
[人名] 班德拉；[地名] [阿根廷、美国] 班德拉；
英英释义
Bandera
Bandera carries the following meanings:
以上来源于:Wikipedia
Bandera用法
权威例句
Bandera
Bandera: extracting finite-state models from Java source code
Bandera: a source-level interface for model checking Java programs
Bandera: a source-level interface for model checking Java programs
et al. Bandera: Extracting finite state models from Java source code
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
Expressing checkable properties of dynamic systems: the Bandera Specification Language
Late-Glacial History of Lago Argentino, Argentina, and Age of the Puerto Bandera Moraines
Enriched and depleted source components for tholeiitic and alkaline lavas from Zuni-Bandera, New Mexico: Inferences about intraplate...