Метод синтезу формальних специфікацій на основі трійок Хоара

Шкарупило, В. В.; Чемерис, О. А.; Душеба, В. В.; Кудерметов, Р. К.; Польська, О. В.


	Наукова періодика України		Наукові праці Донецького національного технічного університету

Шкарупило В. В.
Метод синтезу формальних специфікацій на основі трійок Хоара / В. В. Шкарупило, О. А. Чемерис, В. В. Душеба, Р. К. Кудерметов, О. В. Польська // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2020. - № 1. - С. 49-57. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2020_1_9

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

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

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

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

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

Шкарупило В. В. Метод синтезу формальних специфікацій на основі трійок Хоара / В. В. Шкарупило, О. А. Чемерис, В. В. Душеба, Р. К. Кудерметов, О. В. Польська // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2020. - № 1. - С. 49-57. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2020_1_9.

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

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

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