Kazan Federal University Digital Repository

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

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

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

Show full item record

Files in this item

Icon
Size: 176.6Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

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

Search DSpace


Advanced Search

Browse

My Account

Statistics