|
Книга ID: 28099
Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : автореферат дис. ... кандидата технических наук : 05.13.13 Ин-т кибернетики
Тематика, ключевые слова:
Вычислительные машины, комплексы, системы и сети.
Сведения об издании:
Киев 1990 12 с.
Язык:
rus
|
|