Методы верификации при декомпозиционном синтезе ДУУ

author
Kruus, Margus
Keevallik, Andres
Kaširova, Lilia
Salum, Kaja
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
1989
pages
lk. 53-54
conference name, date
Arvutustehnika kasutamise efektiivsuse tõstmise teed, 1989
conference location
Tallinn
url
https://www.ester.ee/record=b1215350*est
subject term
arvutustehnika
efektiivsus
TalTech department
elektronarvutite kateeder
language
vene