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

Бурдонов Игорь Борисович. Теория конформности для функционального тестирования программных систем на основе формальных моделей : диссертация ... доктора физико-математических наук : 05.13.11 / Бурдонов Игорь Борисович; [Место защиты: Ин-т систем. программирования].- Москва, 2008.- 596 с.: ил. РГБ ОД, 71 08-1/72
Автор
Бурдонов Игорь Борисович
Год
2008

  • 99 000 UZS

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

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