您要查找的是不是：
- During the verification phase, the program invariant is reasoned about with Hoare logic and specified by duration formulae. 首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取。
- 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. 随函附上我方估价单一式两份。
- What's the program for tomorrow? 明天有什么节目？
- 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. 官僚作风延迟了我们计划的进展。
- The new tax program met with fierce opposition. 新的征税计划遭到强烈反对。
- This college offers an excellent art program. 这所大学艺术课程极佳。
- What is your favorite television program? 你最喜爱的电视节目是什么?
- That is easily the best TV program. 那无疑是最佳电视节目。
- This program is being broadcast in stereo. 这个节目正用立体声播放。
- We need money to implement the program. 我们需要钱来实行这个计划。
- We decided to adhere to the program. 我们决定支持这个方案。
- program invariants 程序不变量
