Методы верификации при декомпозиционном синтезе ДУУ
statement of authorship
М. Круус, А. Кеэваллик, Л. Каширова, К. Салум
source
Arvutustehnika kasutamise efektiivsuse tõstmise teed = Пути повышения эффективности использования вычислительной техники : konverentsi ettekande teesid
location of publication
Tallinn
publisher
Tartu Riiklik Ülikool : Eesti NSV Teaduste Akadeemia, 1989
year of publication
pages
lk. 53-54
conference name, date
Arvutustehnika kasutamise efektiivsuse tõstmise teed, 1989
conference location
Tallinn
TTÜ department
language
vene
subject term
Круус, М., Кеэваллик, А., Каширова, Л., Салум, К. Методы верификации при декомпозиционном синтезе ДУУ // Arvutustehnika kasutamise efektiivsuse tõstmise teed = Пути повышения эффективности использования вычислительной техники : konverentsi ettekande teesid. Tallinn : Tartu Riiklik Ülikool : Eesti NSV Teaduste Akadeemia, 1989, 1989. lk. 53-54.