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

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

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

Имя: 739603.pdf

Размер: 176.6Kb

Формат: PDF

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