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

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


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

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

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

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

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

 

Log In

Search

Calendar

«  September 2018  »
SuMoTuWeThFrSa
      1
2345678
9101112131415
16171819202122
23242526272829
30

Statistics


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