|
|
|
|
|
00000cam0a22000001ib4500 |
| 001 |
BY-NLB-rr16692210000 |
| 005 |
20200109095220.0 |
| 010 |
# |
# |
$a 5-256-00156-6
$d 80 к.
|
| 021 |
# |
# |
$a RU
$b [89-6815]
|
| 100 |
# |
# |
$a 20070418d1988 y0rusy50 ||||ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a RU
|
| 200 |
1 |
# |
$a Прикладные методы верификации программ
$f Под ред. А. П. Ершова
|
| 210 |
# |
# |
$a М.
$c Радио и связь
$d 1988
|
| 215 |
# |
# |
$a 255, [1] с.
$d 20 см
|
| 300 |
# |
# |
$a Библиогр.: с. 252-254 (60 назв.)
|
| 345 |
# |
# |
$9 10000 экз.
|
| 610 |
0 |
# |
$a Вычислительные машины электронные - Программы тестовые
|
| 675 |
# |
# |
$a 681.3.06
|
| 686 |
# |
# |
$a 32.973-01
$2 rubbk
|
| 700 |
# |
1 |
$a Непомнящий
$b В. А.
$g Валерий Александрович
|
| 701 |
# |
1 |
$a Рякин
$b О. М.
$g Олег Михайлович
|
| 801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20070418
$g psbo
|
