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

Логіки, орієнтовані на специфікації програм


ID: 46310
Кількість показів: 80
дата змінення: 25.11.2014 19:59:00
Ким змінено (ім'я): (soi) Оксана Стич
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  15
Рік видання:  2006
Звітний рік:  2006
Видання:  Проблеми програмування
Автори,співробітники Університету:  Нікітченко Микола Степанович / Шкільняк Степан Степанович / Омельчук Людмила Леонідівна
Кафедра / Відділ:  Теорії та технології програмування
Інститут/Факультет:  Факультет комп'ютерних наук та кібернетики

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

Вгору