Наукова періодика України Вісник Харківського національного університету імені В. Н. Каразіна


Артюх А. А. 
Метод формального синтеза мажорированных Си-программ / А. А. Артюх, Г. А. Поляков, Е. Г. Толстолужская // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2011. - № 977, Вип. 17. - С. 5-13. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2011_977_17_3
  Повний текст PDF - 599.258 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Артюх А.
  • Поляков Г.
  • Толстолужская Е.

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

    Артюх А. А. Метод формального синтеза мажорированных Си-программ / А. А. Артюх, Г. А. Поляков, Е. Г. Толстолужская // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2011. - № 977, Вип. 17. - С. 5-13. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2011_977_17_3.

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

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