Электронный архив

Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций: Автореф. дис.... канд. техн. наук: Спец. 05.13.11

Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций: Автореф. дис.... канд. техн. наук: Спец. 05.13.11

Орловская Е.В. (Елена Виленовна); Семик В.П. (Научный руководитель); Ландау И.Я. (Научный руководитель); Российская академия наук Институт проблем информатики (Казанский филиал)
URI: http://dspace.kpfu.ru/xmlui/handle/net/31997

Показать полную информацию

Файлы в этом документе

Icon
Имя: 739603.pdf
Размер: 176.6Kb
Формат: PDF
Открыть

Данный элемент включен в следующие коллекции

  • Авторефераты диссертаций [18725]
    Коллекция содержит авторефераты диссертаций, защищенных в Казанском федеральном университете (до 2009 г. Казанский государственный университет)

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика