Перейти к основному содержанию
ЭИОС ТвГТУ
Вы используете гостевой доступ (
Вход
)
Русский (ru)
English (en)
Русский (ru_app)
Русский (ru_ec)
Русский (ru_portfolio)
Русский (ru)
Теоретические основы программирования
Путь к странице
В начало
/
►
Курсы или разделы
/
►
Магистратура, аспирантура и докторантура
/
►
Магистратура
/
►
«Информационные системы и технологии», профиль: радиотехнические системы и комплексы
/
►
ТОП
/
►
Практические занятия (ТОП)
/
►
19. Аксиоматическая семантика. Верификация програм...
19. Аксиоматическая семантика. Верификация программ. Design by contract.
Аксиоматическая семантика. Верификация программ. Design by contract.