Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

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

Орловская Е.В. (Елена Виленовна), Семик В.П. (Научный руководитель), Ландау И.Я. (Научный руководитель), Российская академия наук Институт проблем информатики (Казанский филиал)

Дата публикации: 1992

Дата публикации в реестре: 2020-03-01T01:44:34Z

Ключевые слова:
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА, ПРОГРАММНО-АППАРАТНЫЕ СРЕДСТВА

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core