Электронный архив
Исследование методов формальной спецификации программно-аппаратных систем, обеспечивающих надежность систем и повторное использование спецификаций: Автореф. дис.... канд. техн. наук: Спец. 05.13.11
- Главная
- →
- Авторефераты диссертаций, диссертации
- →
- Авторефераты диссертаций
- →
- Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.
Показать сокращенную информацию
| 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 |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Авторефераты диссертаций [18888]
Коллекция содержит авторефераты диссертаций, защищенных в Казанском федеральном университете (до 2009 г. Казанский государственный университет)