automated verification
| and
| proof
| description language
| automated verification abbr. | |
| progr. | автоматическая верификация; автоматизированная проверка |
| and abbr. | |
| gen. | и; а |
| proof abbr. | |
| gen. | установленный градус крепости спирта; корректура; гранка; пробный оттиск; улика |
| description language abbr. | |
| automat. | дескрипторный язык |
| math. | описательный язык |
| media. | язык описания данных |
| |||
| автоматическая верификация (ssn); автоматизированная проверка (ssn) | |||
|
automated verification : 8 phrases in 4 subjects |
| Artificial intelligence | 1 |
| Military | 1 |
| Programming | 4 |
| Software | 2 |