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

Царьков Дмитрий Викторович. Верификация распределенных программ методом проверки на модели : диссертация ... кандидата физико-математических наук : 05.13.11.- Москва, 2002.- 185 с.: ил. РГБ ОД, 61 02-1/1078-8
Автор
Царьков Дмитрий Викторович
Год
2002

  • 99 000 UZS

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

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