Системная информатика : сборник научных трудов / [Российская академия наук, Сибирское отделение, Институт систем информатики им. А. П. Ершова]. [Вып.] 3 : Программные и вычислительные системы: методы и языки анализа / Под ред. В. Е. Котова

Сохранено в:
Шифр документа: 1Ок58804,
Вид документа: Книги
Опубликовано: 1993
Физические характеристики: 303 с. : ил.
Язык: Русский
Предмет:
00000cam2a2200000 ib4500
001 BY-NLB-br38080
005 20071011173436.0
010 # # $a 5-02-030351-8  $b в пер. 
020 # # $a ru  $b 94-2611 
100 # # $a 19940722d1993 u y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a 000yy 
109 # # $a aa 
200 1 # $a Программные и вычислительные системы: методы и языки анализа  $f Под ред. В. Е. Котова 
210 # # $d 1993 
215 # # $a 303 с.  $c ил. 
300 # # $a Библиогр. в конце отд. ст. 
345 # # $9 620 экз. 
461 # 0 $1 001BY-NLB-br360784G18448  $1 2001   $v [Вып.] 3 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar6634  $a ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25723  $a ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar40089  $a ЯЗЫКИ ПРОГРАММИРОВАНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar40090  $a МОВЫ ПРАГРАМАВАННЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25724  $a ПРАГРАМАВАННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar6635  $a ВЫЛІЧАЛЬНЫЯ СІСТЭМЫ  $2 DVNLB 
675 # # $a 681.3.06:800.92(082)  $v 3  $z rus 
686 # # $a 50.05.13  $2 rugasnti 
686 # # $a 50.05.09  $2 rugasnti 
702 # 1 $3 BY-SEK-434920  $a Котов  $b В. Е. 
801 # 0 $a BY  $b BY-HM0000  $c 19940722  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo