Опції зарахування

Спеціальність: 126 Інформаційні системи та технології. ОС: Бакалавр. Семестр: 8. ЄКТС: 5.
Розподіл годин: Лекції - 48. Практичні - 48. Самостійна робота - 54. Підсумковий контроль: Екзамен. 
Анотація: Дисципліна охоплює вивчення формальних методів для опису та аналізу програмного забезпечення, що забезпечують точність і коректність його роботи. Основна увага приділяється використанню формальних специфікацій для визначення поведінки систем та методів верифікації для перевірки їх відповідності заданим вимогам.
Покликання на силабус Силабус

Гості не можуть отримати доступ до цього курсу. Будь ласка, увійдіть.
Доступність

Шрифти

Розмір шрифта

1

Колір тексту

Колір тла

Кернінг шрифтів

Видимість картинок

Інтервал між літерами

0

Висота рядка

1.2