Kazan Federal University Digital Repository

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

Show simple item record

dc.creator Орловская Е.В. (Елена Виленовна)
dc.creator Семик В.П. (Научный руководитель)
dc.creator Ландау И.Я. (Научный руководитель)
dc.creator Российская академия наук Институт проблем информатики (Казанский филиал)
dc.date 1992
dc.date.accessioned 2015-10-22T14:54:47Z
dc.date.available 2015-10-22T14:54:47Z
dc.identifier http://vufind.kpfu.ru/opac/Record/RU05CLSL05CBooks05C77366
dc.identifier http://libweb.kpfu.ru/z3950/referat/739603.pdf
dc.identifier.uri http://dspace.kpfu.ru/xmlui/handle/net/31997
dc.language Russian
dc.publisher М.
dc.subject ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
dc.subject ПРОГРАММНО-АППАРАТНЫЕ СРЕДСТВА
dc.title Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций: Автореф. дис.... канд. техн. наук: Спец. 05.13.11


Files in this item

This item appears in the following Collection(s)

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

Show simple item record

Search DSpace


Advanced Search

Browse

My Account