Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing формальные методы | all forms | exact matches only | in specified order only
RussianEnglish
концепции формальных методовformal methods concepts (ssn)
метод формальной верификацииformal verification technique (ssn)
метод формальной верификацииapproach of formal verification (ssn)
методы формальной верификацииformal-verification techniques (Alex_Odeychuk)
методы формальной верификацииformal verification techniques (ssn)
применение методов формальной верификации программного обеспечения промышленного назначенияindustrial use of formal methods (корпорации AdaCore Alex_Odeychuk)
роль методов формальной верификацииrole of formal verification techniques (ssn)
роль методов формальной верификации в контексте проверки соответствия и тестирования ПОrole of formal verification techniques in the context of software validation and testing (ssn)
формальные методыformal methods (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn)
формальные методы и критические системыformal methods and critical systems (ssn)
формальные методы описания синтаксисаformal methods of describing syntax (ssn)

Get short URL