您要查找的是不是：
- The correctness of the p rogram of C++ is proved by means of HOARE Logic, and some new results are obtained. 讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.;如类的正确性以及软件系统的正确性
- During the verification phase, the program invariant is reasoned about with Hoare logic and specified by duration formulae. 首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取。
- On one end of the spectrum are powerful frameworks such as Hoare logic, algebraic specification languages, modal logics, and denotational semantics. 在涉及面的一端是强大的框架，像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Loosely, a mathematical or logic operator. 不严格地说，一种数学或逻辑运算符。
- He told us a hoar old joke that we'd all heard many times before. 他给我们讲了一个我们都听了很多次的老掉牙的笑话。
- A practitioner of a system of logic. 逻辑学家使用某一逻辑体系的人
- There is no logic in what she says. 她讲的话没有道理。
- Socrates laid the foundations of logic. 苏格拉底奠定了逻辑学的基础。
- His thinking goes against all logic. 他的思维完全不合逻辑。
- Hoare logic 霍尔逻辑
- There's no logic in spending money on things you don't need. 把钱花在不需要的东西上是没有道理的。
- Hoare Collins, and George Redington. 书名 ：Plant products /by S.
- I thought hoar frost had fallen from the night. 我以为夜里下白霜了。
- A splash of white on my bedroom floor. Hoar frost? 在我的卧室地板上白色的飞溅声。是霜吗?
- Child coating on the tongue is hoar, be dyspeptic? 孩子舌苔发白,是消化不良吗?
- It is elegant that hoar fastens a person, calm. 灰白色系给人是优雅，沉静。
- The number of inputs available to a given logic circuit. 扇入，输入可在逻辑电路得到的输入端数目
- He argues with learning and logic. 他的辩论既有学问又合逻辑。
- I was vexed that I could not understand his logic. 我因为无法理解他的逻辑而感到苦恼。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
