Кузьмин, Александр Константинович - Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : автореферат дис. ... кандидата технических наук : 05.13.13

Карточка

Кузьмин, Александр Константинович.

Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : автореферат дис. ... кандидата технических наук : 05.13.13 / Ин-т кибернетики. - Киев, 1990. - 12 с.
Вычислительные машины, комплексы, системы и сети
FB 9 91-1/2397-5
FB 9 91-1/2398-3

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеИсследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : автореферат дис. ... кандидата технических наук : 05.13.13
Дата поступления в ЭК 17.05.1991
Каталоги Авторефераты диссертаций
Сведения об ответственностиИн-т кибернетики
Выходные данныеКиев, 1990
Физическое описание12 с.
ТемаВычислительные машины, комплексы, системы и сети
BBK-кодЗ844.15-013с116,0
ЯзыкРусский
Места храненияFB 9 91-1/2397-5
FB 9 91-1/2398-3