【英语翻译不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思auto-maticabstraction的原句是wedescribeasyste】
<p>问题：【英语翻译不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思auto-maticabstraction的原句是wedescribeasyste】<p>答案：↓↓↓<p class="nav-title mt10" style="border-top:1px solid #ccc;padding-top: 10px;">李艾华的回答：<div class="content-b">网友采纳 wedescribeasystemforautomaticallysynthesizingsimulators,whicharesuitedformodelcheckinginthattheysupportauto-maticabstraction我们称这个系统为自动生成模拟器,它适用于自动提取样...<p class="nav-title mt10" style="border-top:1px solid #ccc;padding-top: 10px;">刘梅花的回答：<div class="content-b">网友采纳 ASystemforSynthesizingAbstraction-EnabledSimulatorsforBinaryCodeVerification麻烦翻译上这个就选你了<p class="nav-title mt10" style="border-top:1px solid #ccc;padding-top: 10px;">李艾华的回答：<div class="content-b">网友采纳 一个用于二进制码校对并自动提取生成结果的模拟器系统
页:
[1]