|
|
|
|
|
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
|