Структурні підрозділи

Кафедра: Теорії та технології програмування


ID: 6739
Кількість показів: 2456
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко

Публікації:

A correctness proof for presentation software using Isabelle
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  4
Рік видання:  2016
Звітний рік:  2017
Номери сторінок:  117-120
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Автори,співробітники Університету:  Панченко Тарас Володимирович

A Formal Proof of Properties of a Presentation System using Isabelle
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  6
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  1155-1160
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02
Автори,співробітники Університету:  Панченко Тарас Володимирович

A Formal Proof of Properties of a Presentation System using Isabelle
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  1155-1160
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Теорії та технології програмування
№ теми:  16КФ015-02

Algebras and logics of partial quasiary predicates
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  16
Рік видання:  2017
Звітний рік:  2017
Том:  23
Номери сторінок:  263-278
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович

An Approach To Formalization of an Extension of Floyd-Hoare Logic
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Кількість сторінок:  20
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  504-523
Галузь науки:  Інформатика
Посилання на статтю (посилання на рецензію в журналі (для монографій):  http://ceur-ws.org/Vol-1844/10000504.pdf
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / Теорії та технології програмування
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Нікітченко Микола Степанович / Криволап Андрій Володимирович


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

Вгору