Bandera 基本解释
释义[人名] 班德拉；[地名] [阿根廷、美国] 班德拉；
英英释义
Bandera
Bandera carries the following meanings:以上来源于:Wikipedia
Bandera 相关例句
权威例句
BanderaBandera: extracting finite-state models from Java source codeBandera: a source-level interface for model checking Java programsBandera: a source-level interface for model checking Java programset al. Bandera: Extracting finite state models from Java source codeUsing the Bandera Tool Set to Model-Check Properties of Concurrent Java SoftwareUsing the Bandera Tool Set to Model-Check Properties of Concurrent Java SoftwareExpressing checkable properties of dynamic systems: the Bandera Specification LanguageLate-Glacial History of Lago Argentino, Argentina, and Age of the Puerto Bandera MorainesEnriched and depleted source components for tholeiitic and alkaline lavas from Zuni-Bandera, New Mexico: Inferences about intraplate...
