|
|
| 11. | assertion statement |
| 断言语句 |
|
|
| | |
| 12. | global assertion |
| 全局断言 |
|
|
| | |
| 13. | assertion checker |
| 断言检查程序 |
|
|
| | |
| 14. | data base of assertion |
| 断言数据库 |
|
|
| | |
| 15. | output assertion |
| 输出断言 |
|
|
| | |
| 16. | Assertions (&C) |
| 断言(&C) |
|
|
| | |
| 17. | local assertion |
| 局部断言 |
|
|
| | |
| 18. | assertiveness n. |
| 断言；独断 |
|
|
| | |
| 19. | assertion element |
| 断言元素 |
|
|
| | |
| 20. | inductive assertion |
| 归纳断言 |
|
|
| | |