Верификация автоматных программ в контексте синхронного программирования

Кубасов Сергей Валерьевич. Верификация автоматных программ в контексте синхронного программирования : диссертация ... кандидата технических наук : 05.13.11 / Кубасов Сергей Валерьевич; [Место защиты: Ин-т програм. систем РАН].- Ярославль, 2008.- 122 с.: ил. РГБ ОД, 61 09-5/192
Автор
Кубасов Сергей Валерьевич
Год
2008

  • 99 000 UZS

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

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