МИНИСТЕРСТВО ПО РАЗВИТИЮ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ И КОММУНИКАЦИЙ РЕСПУБЛИКИ УЗБЕКИСТАН
УРГЕНЧСКИЙ ФИЛИАЛ ТАШКЕНТСКОГО УНИВЕРСИТЕТА ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ИМЕНИ МУХАММАДА АЛЬ-ХОРАЗМИЙ
“УТВЕРЖДАЮ”
Ургенчский филиал Ташкентского университета информационных технологий имени Мухаммада аль-Хоразмий заместитель директора по учебной работе
_______________ Халмуратов О.
__________________________
“___” _____________2023 год
СИЛЛАБУС ПО ПРЕДМЕТУ
“ФОРМАЛЬНЫЕ МЕТОДЫ ВЕРИФИКАЦИИ ПРОГРАММ”
для направлений бакалавриата
«Компьютер инжиниринг»
(Syllabus обсуждён и утверждён на совещании кафедры
№ ______ от “____” _____________ 2023 года)
Заведующий кафедрой «Информационные технологии».
|
______________________
|
О.К. Хужаев
|
Ургенч – 2022
Место проведения урока:
|
Ургенчский филиал Ташкентского университета информационных технологий имени Мухаммада ал-Хоразмий
|
город Ургенч,
улица Аль-Хоразмий, д.110
|
Факультет и кафедра:
|
Компьютерный инжиниринг
|
Информационные технологии
|
Название и шифр предмета:
|
Формальные методы верификации программ
|
TEE*
|
|
Do'stlaringiz bilan baham: |
