Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций: Автореф. дис.... канд. техн. наук: Спец. 05.13.11
JavaScript is disabled for your browser. Some features of this site may not work without it.
Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций: Автореф. дис.... канд. техн. наук: Спец. 05.13.11
Орловская Е.В. (Елена Виленовна); Семик В.П. (Научный руководитель); Ландау И.Я. (Научный руководитель); Российская академия наук Институт проблем информатики (Казанский филиал)
Авторефераты диссертаций [18888] Коллекция содержит авторефераты диссертаций, защищенных в Казанском федеральном университете (до 2009 г. Казанский государственный университет)