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

Промский Алексей Владимирович. Формальная семантика C-LIGHT программ и их верификация методом Хоара : Дис. ... канд. физ.-мат. наук : 05.13.11 : Новосибирск, 2004 157 c. РГБ ОД, 61:05-1/309
Автор
Промский Алексей Владимирович
Год
2004

  • 99 000 UZS

Рекомендуем вам товары

Методы анализа формы изображений на основе непрерывного гранично-скелетного представления
99 000 UZS
Автор
Рейер Иван Александрович
Количество страниц
Год
2004
Языковая и инструментальная поддержка функционально-потокового параллельного программирования
99 000 UZS
Автор
Привалихин Денис Викторович
Количество страниц
Год
2004
Инструментальные средства разработки бизнес-приложений на базе интранет-технологий
99 000 UZS
Автор
Садретдинова Нелли Маратовна
Количество страниц
Год
2004
Разработка информационных систем для работы с экспериментальными данными установок управляемого термоядерного синтеза
99 000 UZS
Автор
Соколов Михаил Михайлович
Количество страниц
Год
2004
Разработка специального математического обеспечения нейросетевого прогнозирования и оптимизации потоков заявок в социо-технических системах
99 000 UZS
Автор
Терехов Александр Станиславович
Количество страниц
Год
2004
Новостной блок
Модули для Opencart 2, Опенкарт 3