20 Лет Prover 1996-2016
Home | Sign Up | Log In

Слово создателя сайта


Здравствуйте уважаемый посетитель сайта!

Меня зовут Мудар Альмади, я гражданин Сирии, учился в Украине и в 2009 году защитил кандидатскую диссертацию на тему "Методы и средства повышения эффективности тестового диагностирования запоминающих устройств”.

Очевидно теперь, что тема диссертации связана с диагностированием оперативных запоминающих устройств, и применение языка PROVER.для меня было очень актуально, учитывая прагматические свойства этого языка программирования, позволяющие сократить трудоемкость разработки и отладки программ тестов для различных конфигураций тестеров, которые обеспечивают выполнение тестового диагностирования запоминающих устройств на реальной рабочей частоте.

Хочу выразить благодарность своему научному руководителю, ведущему специалисту проекта профессору Рябцеву Владимиру Григорьевичу за наставления, помощь и поддержку, а также остальным разработчикам языка за этот прекрасный интерпретатор.

Поздравляю вас с юбилеем! От всей души желаю вам творческих успехов, счастья, благополучия и всего наилучшего! Пусть трудности, встречающиеся на Вашем пути, будут всегда легко преодолимы. Крепкого здоровья, душевного тепла и праздничного настроения!

 

Log In

Search

Calendar

«  May 2018  »
SuMoTuWeThFrSa
  12345
6789101112
13141516171819
20212223242526
2728293031

Statistics


Total online: 1
Guests: 1
Users: 0
Copyright MyCorp © 2018 | Create a free website with uCoz