Наукова періодика України Проблеми програмування


Zhygallo A. A. 
Peterson’s Algorithm total correctness proof in IPCL / A. A. Zhygallo // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 113-118. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3%28spets.__14
  Повний текст PDF - 642.252 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Zhygallo A.

  • Бібліографічний опис для цитування:

    Zhygallo A. A. Peterson’s Algorithm total correctness proof in IPCL / A. A. Zhygallo // Проблеми програмування. - 2016. - № 2-3(спец. вип.). - С. 113-118. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2016_2-3(spets.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського