Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Information technology containing формальный | all forms | exact matches only
RussianEnglish
вывод формального языкаderivation
высокоуровневая формальная системаhigh-level formalism (Alex_Odeychuk)
геделевская нумерация формальной системыGodel numbering of a formal system
гомоморфный образ формального языкаhomomorphic image of a formal language
инструментальный средства формального представления музыкиhypermedia/time-based structuring facilities
модель формальной системыmodel of formal system
основная идея формальных процедур минимизацииbasic idea of formal minimization procedures (ssn)
проверка формальной правильностиwell-formedness check (Alex_Odeychuk)
рассуждения на формальном уровнеformal reasoning
совокупность формальных параметровformal parameter part
список формальных параметровlist of formal parameters
теория формальных языковformal language theory
управление инфраструктурой с помощью формальной моделиinfrastructure as code (is the management of infrastructure (networks, virtual machines, load balancers, and connection topology) in a descriptive model, using the same versioning as DevOps team uses for source code. Alex_Odeychuk)
управление инфраструктурой с помощью формальной моделиmanagement of infrastructure in a descriptive model (infrastructure (networks, virtual machines, load balancers, and connection topology) Alex_Odeychuk)
управление инфраструктурой с помощью формальной моделиIaC (сокр. от "infrastructure as code" Alex_Odeychuk)
формальная верификацияformal verification
формальная вычислительная модельformal computational model (Alex_Odeychuk)
формальная импликацияformal implication
формальная модельformal model
формальная модельalgoristic-type model
формальная модель гипертекстовых системformal web model (konspekta.net, arxiv.org Alex_Odeychuk)
формальная модель политики безопасностиformal security model
формальная процедура минимизацииformal minimization procedure (ssn)
формальная реализацияdummy implementation (proz.com owant)
формальная семантикаformal semantics
формальная системаformalism
формально-семантический языкsemantic-formal language
формальное доказательство правильности программыformal program validation
формальное доказательство правильности программыformal program proof
Формальное независимое моделирование аналогий классовSoft Independent Modelling of Class Analogy (ras.ru tanik812)
формальное описаниеformal description
формальное описаниеformal specification
формальное распространениеextension (напр. множества)
формальное требованиеformal requirement (formal requirements for virtualizable third generation architectures — формальные требования к виртуализируемым архитектурам третьего поколения Alexander Demidov)
формальные процедурыformal procedures (ssn)
формальные процедуры минимизацииformal minimization procedures (ssn)
формальные рассужденияformal reasoning
формальные спецификацииformal specification
формальный методformal approach
формальный нейронformal neuron
формальный параметрdummy argument
формальный параметрformal parameter
формальный параметрdummy parameter
формальный прогонdry run

Get short URL