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

autor
Kruus, Margus
Keevallik, Andres
Kaširova, Lilia
Salum, Kaja
vastutusandmed
М. Круус, А. Кеэваллик, Л. Каширова, К. Салум
allikas
Arvutustehnika kasutamise efektiivsuse tõstmise teed = Пути повышения эффективности использования вычислительной техники : konverentsi ettekande teesid
ilmumiskoht
Tallinn
kirjastus/väljaandja
Tartu Riiklik Ülikool : Eesti NSV Teaduste Akadeemia, 1989
ilmumisaasta
1989
leheküljed
lk. 53-54
konverentsi nimetus, aeg
Arvutustehnika kasutamise efektiivsuse tõstmise teed, 1989
konverentsi toimumispaik
Tallinn
leitav
https://www.ester.ee/record=b1215350*est
märksõna
arvutustehnika
efektiivsus
TTÜ struktuuriüksus
elektronarvutite kateeder
keel
vene