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

Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики : диссертация ... кандидата физико-математических наук : 05.13.11 / Марьясов Илья Владимирович; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН].- Новосибирск, 2012.- 110 с.: ил. РГБ ОД, 61 12-1/879
Автор
Марьясов, Илья Владимирович
Год
2012

  • 99 000 UZS

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

Математическое и программное обеспечение систем управления базами знаний интеллектуальных систем прогнозирования
99 000 UZS
Автор
Пинчер, Денис Владимирович
Количество страниц
Год
2012
Вычисление характеристических полиномов плотных матриц : последовательные и параллельные алгоритмы
99 000 UZS
Автор
Переславцева, Оксана Николаевна
Количество страниц
Год
2012
Математическое и программное обеспечение восстановления и визуализации 3D-моделей в составе интегрированных СУБД
99 000 UZS
Автор
Сафронов, Виталий Владимирович
Количество страниц
Год
2012
Методы формирования поведения и проектирования программного обеспечения обследовательского автономного подводного робота
99 000 UZS
Автор
Инзарцев Александр Вячеславович
Количество страниц
Год
2012
Программное обеспечение процессов управления медиапотоками в условиях гетерогенности информационных систем реального времени
99 000 UZS
Автор
Ломов, Эдуард Олегович
Количество страниц
Год
2012
Новостной блок
Модули для Opencart 2, Опенкарт 3