Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Programming
containing
automated software
|
all forms
English
Russian
automated catalog of computer equipment and software
автоматизированный каталог средств вычислительной техники и программных систем
(сокр. ACCES
ssn
)
automated formal verification of software
автоматическая формальная верификация программного обеспечения
(
Alex_Odeychuk
)
semi-automated formal verification of software
полуавтоматическая формальная верификация программного обеспечения
(
Alex_Odeychuk
)
Get short URL