Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
Terms
for subject
Programming
containing
автоматический инструмент
|
all forms
|
in specified order only
Russian
English
автоматическая проверка инструментом параметризации
automatic check by a parameterization tool
(
ssn
)
автоматический инструмент
automated tool
(
Alex_Odeychuk
)
инструмент автоматического доказательства теорем
theorem prover
(
Alex_Odeychuk
)
инструмент автоматического форматирования кода
automatic formatter tool
(
rust-lang.org
Alex_Odeychuk
)
инструмент автоматической проверки
automated checker
(корпорации AdaCore
Alex_Odeychuk
)
инструмент автоматической проверки функциональной безопасности приложений
automated safety checker
(корпорации AdaCore
Alex_Odeychuk
)
средства автоматической проверки инструментом параметризации
means of an automatic check by a parameterization tool
(
ssn
)
Get short URL