Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

2012

Артикул:

1005480343

179 грн

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

• 
• 
• 

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

• Методы обработки запросов в системах управления базами данных для многопроцессорных систем с иерархической архитектурой
• Принципы построения графодинамического параллельного компьютера, ориентированного на решение задач искусственного интеллекта
• Программное обеспечение посттрансляторной обработки программ
• Математическое и программное обеспечение методов повышения временной эффективности фрактального сжатия изображений
• Математические модели и алгоритмы извлечения базисного ресурса в замкнутых термодинамических и экономических системах
• Об интерпретации строго типизированных функциональных программ
• Алгоритмы декомпозиции дифференциальных многочленов
• Планирование и контроль вычислительного процесса в морских навигационных комплексах
• Технология разработки композитных приложений с использованием предметно-ориентированных программных модулей
• Проектирование обратимых операций над объектами на основе шаблонов при разработке программного обеспечения