Ви є тут

Верификация С-программ с помощью смешанной аксиоматической семантики

Автор: 

Марьясов Илья Владимирович

Тип роботи: 

Кандидатская

Рік: 

2012

Артикул:

1005480343

179 грн

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

• 
• 
• 

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

• Планирование системотехнических параметров при эксплуатации программно-технических комплексов коллективной обработки информации
• Управление производительностью параллельной вычислительной системы при обработке запросов
• Вероятностные методы оценки выполнимости задач в системах реального времени
• Разработка методов управления интерактивными процессами в обучающих системах
• Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах
• Методы поиска графической информации в информационных системах
• Функциональные системы полиномов и их применение в программировании для вычислительных систем и сетей
• Разработка математического обеспечения систем управления вложенными транзакциями в параллельных и распределенных средах
• Восстановление параметров дискретных устройств, основанное на переоценке вероятностей с использованием действительных пороговых соотношений
• Интеграция разнородных баз данных на основе многомерных моделей данных