Разработка и исследование методов и средств формального специфицирования моделей и метрик программ
- Автор:
Шалфеева, Елена Арефьевна
- Шифр специальности:
05.13.11
- Научная степень:
Кандидатская
- Год защиты:
2000
- Место защиты:
Владивосток
- Количество страниц:
255 с.
Стоимость:
700 р.250 руб.
до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы
Рекомендуемые диссертации данного раздела
| Название работы | Автор | Дата защиты |
|---|---|---|
| Разработка расширенной реляционной модели данных распределенной хронологической системы управления виртуальными представительствами | Аксенов, Андрей Андреевич | 2003 |
| Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем | Козюра, В.Е. | 2004 |
| Развитие и применение методов, алгоритмов и программных средств автоматической видео идентификации для предоставления индивидуального доступа по изображению лица | Куликов, Александр Анатольевич | 2014 |