It extends the mixed axiomatic semantics method suggested for C-light program verification.
Она расширяет смешанную аксиоматическую семантику, предложенную для верификации C- light программ.
Avdoshin The Mixed Chinese Postman Problem Proceedings of the Institute for System Programming.
Авдошин Смешанная задача китайского почтальона Труды Института системного программирования РАН.
Avdoshin The Mixed Chinese Postman Problem pp.
Авдошин Смешанная задача китайского почтальона Стр.
Despite the mixed critical reaction, Kylie was a worldwide success.
Но несмотря на разноречивую критику, Kylie ожидал всемирный успех.
Show Statistics of the mixed audio in the selected range.
Затем показывает статистику смикшированного звука.
Fill pump bottle with the mixed cleaning solution.
Наполнить бутылку с насосом приготовленным чистящим раствором.
The union of the mixed martial arts on EAO was created at the beginning of this year.
Союз смешанных боевых единоборств по ЕАО был создан в начале этого года.
It is necessary also to us to wish to masters of the mixed martial arts of good luck and victories.
Остается и нам пожелать мастерам смешанных боевых единоборств удачи и побед.
The mixed economic indicators set out in the World Economic Outlook reports for 2007
Неоднозначные экономические показатели, представленные в докладах<< Всемирного экономического обзора>>
The union of the mixed martial arts of Russia led by Feodor Emelyanenko chose Chelyabinsk as the capital.
Союз смешанных единоборств России во главе с Федором Емельяненко выбрал Челябинск своей столицей.
Despite the mixed economic performance in the UNECE region in 2013, there was moderately
Несмотря на неоднозначные экономические результаты, достигнутые в 2013 году в регионе ЕЭК ООН,
Plahotniuc has not yet made a statement about the mixed electoral system, but Dodon knows before
То есть еще не было заявления Плахотнюка о смешанной системе, а Додон раньше всех знает,
The Novgorod team of the Center of the mixed single combats with success made a speech at last competitions.
Новгородская команда Центра смешанных единоборств с успехом выступила на прошедших соревнованиях.
Tickets for the ending of superiority of Kuzbass on the mixed single martial arts can be got in cash desks of sport centers"Kuzbass","Dynamo" and"Arena.
Билеты на финал первенства Кузбасса по смешанным единоборствам можно приобрести в кассах спорткомплексов« Кузбасс»,« Динамо» и« Арена».
The return to the mixed electoral system for the State Duma against the backdrop of the deep economic crisis brings the regions out of the shadow of Russian politics.
Возврат к смешанной системе формирования Госдумы на фоне глубокого экономического кризиса выводит регионы из тени российской политики.
I not only the master of the mixed single combats and the athlete, but also in some way the actor.
Я не только мастер смешанных единоборств и атлет, но и в некотором роде артист.
When I heard that he was originally from Safed, the mixed Arab-Jewish town in northern Palestine,
Когда я узнал, что он происходит из Цфата, смешанного арабско- еврейского города на севере Палестины,
Tournament on the mixed martial arts which took place on February 23rd in Birobidzhan,
Турнир по смешанным боевым единоборствам, который состоялся 23- го февраля в Биробиджане,
The members of the Security Council commend the authorities of the Central African Republic and the Mixed and Independent Electoral Commission for having set the date for the presidential election.
Члены Совета Безопасности высоко оценивают усилия властей Центральноафриканской Республики и Смешанной и независимой избирательной комиссии по установлению даты проведения президентских выборов.
Русский
Český
Deutsch
Español
Қазақ
عربى
Български
বাংলা
Dansk
Ελληνικά
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Bahasa indonesia
Italiano
日本語
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt
中文