Методы верификации при декомпозиционном синтезе ДУУ
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
leheküljed
lk. 53-54
konverentsi nimetus, aeg
Arvutustehnika kasutamise efektiivsuse tõstmise teed, 1989
konverentsi toimumispaik
Tallinn
märksõna
TTÜ struktuuriüksus
keel
vene
Круус, М., Кеэваллик, А., Каширова, Л., Салум, К. Методы верификации при декомпозиционном синтезе ДУУ // Arvutustehnika kasutamise efektiivsuse tõstmise teed = Пути повышения эффективности использования вычислительной техники : konverentsi ettekande teesid. Tallinn : Tartu Riiklik Ülikool : Eesti NSV Teaduste Akadeemia, 1989, 1989. lk. 53-54.