|
|
|
|
| LEADER |
01111nam0a2200289 i 4500 |
| 001 |
F8D9A855-60E1-400F-84DF-16826D9CA284 |
| 010 |
|
|
|a 5-03-000487-4
|d р.0.50
|
| 100 |
|
|
|a 20090319d1989 |||y0rusy02
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y ||||000zy
|
| 200 |
1 |
|
|a Автоматизированные методы спецификации
|f Я. Деметрович, Е. Кнут [!Э. Кнут], П. Радо
|g пер. с англ. Л. В. Шабанова ; под ред. Ю. Г. Дадаева
|
| 210 |
|
|
|a Москва
|c Мир
|d 1989
|
| 215 |
|
|
|a 115с.
|d 22 см
|
| 320 |
|
|
|a Библиогр.: с. 112-115 (76 назв.)
|
| 606 |
|
|
|a Вычислительные системы
|x Программы
|x Спецификация
|
| 686 |
|
|
|a 32.973.2-018
|2 rubbk
|
| 686 |
|
|
|a 50
|2 rugasnti
|
| 700 |
|
1 |
|a Деметрович
|b Я.
|g Янош
|
| 701 |
|
1 |
|a Кнут
|b Э.
|g Элод
|
| 701 |
|
1 |
|a Радо
|b П.
|g Петер
|
| 702 |
|
1 |
|a Дадаев
|b Ю. Г.
|4 340
|
| 702 |
|
1 |
|a Шабанов
|b Л. В.
|4 730
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20090319
|
