semi-automated
| formal verification
| of
| software
| semi-automated abbr. | |
| tech. | полуавтоматический |
| formal verification abbr. | |
| data.prot. | математическая верификация |
| IT | формальная верификация |
| of abbr. | |
| gen. | относительно; от; обо; изо; служебное слово, указывает на вкус или запах; служебное слово, выражает свойство или возраст |
| software abbr. | |
| gen. | программные средства |
| astronaut. | груз и топливо |
| comp. | программа; программные средства сопровождения |
| IT | программное или математическое обеспечение; программное оборудование; компьютерные программы; cофт |
| jarg. | бумажная работа |
| |||
| полуавтоматический (Alex_Odeychuk) | |||
|
semi-automated : 21 phrases in 10 subjects |
| Artificial intelligence | 3 |
| Computers | 1 |
| Drilling | 1 |
| Economics | 1 |
| Military | 7 |
| Natural resourses and wildlife conservation | 1 |
| Oil and gas | 1 |
| Programming | 1 |
| Technology | 3 |
| Welding | 2 |