Ви є тут

Формальная семантика C-LIGHT программ и их верификация методом Хоара

Автор: 

Промский Алексей Владимирович

Тип роботи: 

Дис. канд. физ.-мат. наук

Рік: 

2004

Артикул:

15170

179 грн

Додати в кошик

Рекомендовані дисертації

• Анализ защищённости динамических идентификационных кодов доступа к ресурсам вычислительных сетей
• Принципы организации и разработка специализированной информационно-образовательной среды для дистанционного обучения
• Разработка и исследование методов повышения скорости доступа к удалённым данным в распределённых вычислительных системах
• Рандомизированные алгоритмы стохастической оптимизации и их применение для повышения эффективности работы вычислительных комплексов и сетей
• Автоматизация отладки параллельных программ
• Программная система КВАНТ/1 для автоматического доказательства теорем
• Разработка и исследование подсистемы трассировки заказных СБИС
• Разработка и реализация высокоуровневого навигационного языка запросов для объектных баз данных
• Инструментальная поддержка процедурно-параметрической парадигмы программирования
• Разработка диаграммно-сетевого метода синтеза структур интерактивных систем