Метод формального синтеза мажорированных Си-программ

Артюх, А. А.; Поляков, Г. А.; Толстолужская, Е. Г.


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

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

Повний текст PDF - 599.258 Kb

Зміст випуску Google Scholar

Цитування публікації

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

Артюх А.

Поляков Г.

Толстолужская Е.

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

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

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

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача