Наукові публікації університету

On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions


ID: 216963
Кількість показів: 52
дата змінення: 10.11.2019 19:07:08
Ким змінено (ім'я): (cyb10) Ірина Сімянчук
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  9
Рік видання:  2018
Звітний рік:  2018
Видання:  Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops
Випуск, частина:  2104
Номери сторінок:  716-724
Галузь науки:  Інформатика
Автори,співробітники Університету:  Іванов Євген В’ячеславович / Нікітченко Микола Степанович
Кафедра / Відділ:  Програмних систем і технологій / Теорії та технології програмування
№ теми:  16КФ015-02
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики / Факультет інформаційних технологій

Повернення до списку

Вгору