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

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
Круус, М., Кеэваллик, А., Каширова, Л., Салум, К. Методы верификации при декомпозиционном синтезе ДУУ // Arvutustehnika kasutamise efektiivsuse tõstmise teed = Пути повышения эффективности использования вычислительной техники : konverentsi ettekande teesid. Tallinn : Tartu Riiklik Ülikool : Eesti NSV Teaduste Akadeemia, 1989, 1989. lk. 53-54. https://www.ester.ee/record=b1215350*est