- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Формальная семантика C-LIGHT программ и их верификация методом Хоара
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2004
Артикул:
15170 179 грн
Рекомендовані дисертації
- Разработка синтаксических анализаторов языков программирования с учетом контекстных условий
- Разработка технологических систем машинной графики
- Метод и алгоритмы автоматической генерации параллельных программ, реализующих численные методы на регулярных сетках
- Математическое и программное обеспечение географических информационно-аналитических систем регионального уровня : На примере Красноярского края
- Модели и алгоритмы контекстно-словарного сжатия текстовых данных
- Исследование моделей и методов приобретения топографических знаний на основе алгоритмов распознавания частично упорядоченных объектов
- Методы и средства формирования промежуточного языка при разработке программного обеспечения информационно-аналитических систем газовой отрасли
- Методы оценки моделей и построения математического обеспечения электронной цифровой подписи для электронного документооборота в Социалистической Республике Вьетнам
- Математические модели и методы оптимальной организации параллельных конкурирующих процессов и их реализация
- Исследование методов и программных средств построения распределенных информационных систем