Формализованный подход к разработке программного обеспечения / А. В. Бакулин

Сохранено в:
Шифр документа: 1Ба149876, 1Ба149877,
Вид документа: Книги
Автор: Бакулин, А. В.
Опубликовано: Минск : Институт технической кибернетики , 1998
Физические характеристики: 18, [2] с. ; 21 см
Язык: Русский
Серия: Препринт № 1
Предмет:
00000cam0a2200000 ib4500
001 BY-NLB-br110001
005 20150428095335.0
100 # # $a 19981202d1998 u y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a BY 
105 # # $a y ||||000yy 
109 # # $a aa 
200 1 # $a Формализованный подход к разработке программного обеспечения  $f А. В. Бакулин 
210 # # $a Минск  $c Институт технической кибернетики  $d 1998 
215 # # $a 18, [2] с.  $d 21 см 
225 1 # $a Препринт  $f Национальная академия наук Беларуси, Институт технической кибернетики  $v № 1 
320 # # $a Библиография: с. 18―19 (16 назв.) 
345 # # $9 100 экз. 
606 0 # $3 BY-NLB-ar26759  $a ПЭВМ  $2 DVNLB 
606 0 # $3 BY-NLB-ar26760  $a ПЭВМ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25723  $a ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar36279  $a ФОРМАЛЬНЫЙ МЕТОД  $2 DVNLB 
606 0 # $3 BY-NLB-ar25726  $a ПРАГРАМНАЕ ЗАБЕСПЯЧЭННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25724  $a ПРАГРАМАВАННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar36280  $a ФАРМАЛЬНЫ МЕТАД  $2 DVNLB 
606 0 # $3 BY-NLB-ar25725  $a ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25723  $a ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar25724  $a ПРАГРАМАВАННЕ  $2 DVNLB 
615 # # $a Белорусский национальный документ 
675 # # $a 681.322-181.4.06  $v 3  $z rus 
686 # # $a 50.33.37  $2 rugasnti 
686 # # $a 50.41.01  $2 rugasnti 
686 # # $a 50.05.03  $2 rugasnti 
686 # # $a 50.05.13  $2 rugasnti 
700 # 1 $3 BY-SEK-307338  $a Бакулин  $b А. В.  $g Александр Владимирович  $c информатика 
712 0 2 $3 BY-SEK-119291  $a Институт технической кибернетики  $c Минск  $4 475 
801 # 0 $a BY  $b BY-HM0000  $c 19981202  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo