您要查找的是不是:
- The study of specification for abstract datatype (ADT) is important in the development ofobject-oriented software and in program verification. 研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。
- Hainan Airlines is planning to target specific non-public offering of A shares to the relevant departments to carry out policy advice and program verification, the matter still uncertainty. 海南航空正筹划向特定对象非公开发行A股股票事宜,并向相关部门进行政策咨询及方案论证,该事项尚存在不确定性。
- user program verification facility 用户程序验证设施
- automatic program verification system [计] 自动程序验证系统
- The Application of Cutter Swept Volume to NC Program Verification 刀具扫描体技术在NC加工图形验证中的应用
- THE DEVELOPMENT OF TESTING TECHNOLOGIES FOR PROGRAM VERIFICATION 程序正确性测试的相关技术进展
- The main feature on the program is her song. 那个节目的主要号召物是她的歌。
- This news program only covers external events. 这一新闻节目只报道国外消息。
- Do you see the travel program on italy last night? 昨晚你看有关意大利的旅游节目了吗?
- Starting applications from Program Manager is easy. 在程序管理器下运行应用程序很容易。
- Pop music is mostly program music. 流行音乐大多是标题音乐。
- Enclosed is our program invoice in duplicate. 随函附上我方估价单一式两份。
- A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state. 验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。
- What's the program for tomorrow? 明天有什么节目?
- NC Program Verification of Structure-Motion Characteristic Matrix and Its Effect 结构-运动特性矩阵的NC程序验证及效果
- What functions can this program perform? 这一程序有哪些功能?
- The space program is the evolution of years of research. 太空计划是多年研究的发展结果。
- This program will be aired on CBS. 这一节目将由哥伦比亚广播公司播出。
- Red tape has delayed the progress of our program. 官僚作风延迟了我们计划的进展。
- Keywords NC System Customization;NC Programs Verification;Broser/Server;JSP; 数控系统定制;数控程序检验;浏览器/服务器;JSP;