000			03353nam a2200661 4500
001			vtls000114220
003			RU-ToGU
005			20210909183244.0
008			011029s2000 ru a f b 000 0 rus d
020			_a5020316695
035			_a0117-74760
040			_aRU-ToGU _brus _cRU-ToGU _ePSBO
080			_a519.687.4(066)
245	1	0	_aСистемная информатика _nВып. 7 _bСборник научных трудов _cПод ред. И. В. Поттосина; Рос. акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова
246	1	2	_aПроблемы теории и методологии создания параллельных и распределенных систем
260			_aНовосибирск _bНаука _c2000
300			_a310, [2] с. _bтабл.
504			_aБиблиогр.: с. 305-310
653			_aпараллельное программирование.
653			_aраспределенное программирование.
653			_aматематические модели.
653			_aпараллельные системы.
653			_aдинамические системы.
653			_aалгебраические спецификации.
653			_aREAL.
653			_aсистемы реального времени.
653			_aREAL-программы.
653			_aпоследовательные программы.
653			_aавтоматическое распараллеливание.
653			_aпрограммы суперкомпьютеров.
653			_aпоследовательные алгоритмы.
653			_aвысокопараллельные алгоритмы.
653			_aвычисления с динамической длиной операндов.
653			_aпрограммирование в ограничениях.
653			_aпараллельная обработка данных.
653			_aсемантические свойства.
653			_aбезопасность.
653			_aсинтез процессов.
653			_aанализ процессов.
653			_aалгебра языков процессов.
653			_aимперативная спецификация.
653			_aспецификации типов данных.
653			_aязык спецификаций.
653			_aалгоритмы выявления зависимостей.
653			_aтеория зависимости по данным.
653			_aНОД-тест.
653			_aБанержи тест.
653			_aОмега-тест.
653			_aRange-тест.
653			_aХоара логика.
653			_aязыки комбинированных спецификаций.
653			_aформальный синтаксис.
653			_aнеформальная семантика.
653			_aBasic-REAL.
700	1		_aПоттосин, Игорь Васильевич _d1933-2001 _eред. _4edt _963242
852	4		_aRU-ToGU _h1-884075к _i519.6 _nru
999			_c113798