Russian ⇄ English

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я   <<  >>

Terms for subject Information technology (108125 entries)

формально-семантический язык	semantic-formal language
формальное доказательство правильности программы	formal program proof
формальное доказательство правильности программы	formal program validation
Формальное независимое моделирование аналогий классов	Soft Independent Modelling of Class Analogy	tanik8­12
формальное описание	formal description
формальное описание	formal specification
формальное распространение	extension
формальное требование	formal requirement	Alexan­der Dem­idov
формальные процедуры	formal procedures	ssn
формальные процедуры минимизации	formal minimization procedures	ssn
формальные рассуждения	formal reasoning
формальные спецификации	formal specification
формальный	dummy
формальный	explicit
формальный метод	formal approach
формальный нейрон	formal neuron
формальный параметр	dummy parameter
формальный параметр	formal parameter
формальный параметр	dummy argument
формальный прогон	dry run