Анализ свойств и эквивалентные преобразования на моделях программ: Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук: 05.13.11 / Рос. АН, Сиб. отд-ние, Вычисл. центр

Сохранено в:
Шифр документа: 2Ад22900,
Вид документа: Авторефераты диссертаций
Автор: Сабельфельд, В. К.
Опубликовано: Новосибирск , 1994
Физические характеристики: 31 с.
Язык: Русский
00000cam0a22000004ia4500
001 BY-NLB-br161719
005 20070615190549.8
100 # # $a 19930101d1994 u y0rusy50 ca 
101 0 # $a rus 
105 # # $a y m 001yy 
109 # # $a ac  $a aa 
200 1 # $a Анализ свойств и эквивалентные преобразования на моделях программ  $e Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук  $e 05.13.11  $f Рос. АН, Сиб. отд-ние, Вычисл. центр 
210 # # $a Новосибирск  $d 1994 
215 # # $a 31 с. 
300 # # $a Библиогр.: с. 30-31 (26 назв.) 
686 # # $a 28.17.19  $2 rugasnti 
686 # # $a 50.41  $2 rugasnti 
686 # # $a 05.13.11  $2 oksvnk 
700 # 1 $3 BY-SEK-435207  $a Сабельфельд  $b В. К.  $g Виктор Карлович 
801 # 0 $a BY  $b BY-HM0000  $c 19930101  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060316  $g psbo