|
|
|
|
|
00000cam0a22000001ib4500 |
| 001 |
BY-NLB-rr34520570000 |
| 005 |
20200617093214.0 |
| 010 |
# |
# |
$a 5-03-000487-4
$d 50 к.
|
| 021 |
# |
# |
$a RU
$b [89-11659]
|
| 100 |
# |
# |
$a 20070801d1989 y0rusy50 ||||ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a RU
|
| 200 |
1 |
# |
$a Автоматизированные методы спецификации
$f Я. Деметрович, Е. Кнут [!Э. Кнут], П. Радо
$g Перевод с англ. Л. В. Шабанова
$g Под ред. Ю. Г. Дадаева
|
| 210 |
# |
# |
$a Москва
$c Мир
$d 1989
|
| 215 |
# |
# |
$a 115 с.
$d 22 см
|
| 300 |
# |
# |
$a Библиогр.: с. 112-115 (76 назв.). Перевод изд. Computer aided specification techniques / J. Demetrovics, E. Knuth, P. Rado
|
| 345 |
# |
# |
$9 20000 экз.
|
| 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 Элод
|
| 701 |
# |
1 |
$a Радо
$b П.
$g Петер
|
| 801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20070801
$g psbo
|
