Методы верификации при декомпозиционном синтезе ДУУ
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
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.