| 000 | 01378nam a2200301 4500 | ||
|---|---|---|---|
| 001 | vtls000121117 | ||
| 003 | RU-ToGU | ||
| 005 | 20210921220214.0 | ||
| 008 | 950417s1989 __ 00| | rus d | ||
| 020 | _a5030004874 | ||
| 035 | _a0124-69460 | ||
| 035 | _a(RU-ToGU)ru89-011659 | ||
| 040 |
_aRKP _brus _cRU-ToGU _dRU-ToGU _ePSBO |
||
| 080 | _a681.3.06 | ||
| 084 |
_a50.05 _2rugasnti |
||
| 084 |
_a32.973-01 _2rubbk |
||
| 100 | 1 |
_aДеметрович, Янош _9208847 |
|
| 245 | 1 | 0 |
_aАвтоматизированные методы спецификации _cЯ. Деметрович, Е. Кнут [!Э. Кнут], П. Радо ; Перевод с англ. Л. В. Шабанова ; Под ред. Ю. Г. Дадаева |
| 260 |
_aМ. _bМир _c1989 |
||
| 300 |
_a115 с. _c22 см |
||
| 504 | _aБиблиогр.: с. 112-115 (76 назв.) | ||
| 650 | 7 |
_aВычислительные системы - Программы - Спецификация. _2rurkp _9208848 |
|
| 700 | 1 |
_aКнут, Элод _9208849 |
|
| 700 | 1 |
_aРадо, Петер _9208850 |
|
| 700 | 1 |
_aДадаев, Юрий Георгиевич _4edt _9171100 |
|
| 700 | 1 |
_aШабанов, Л. В. _eпереводчик _4trl _9208851 |
|
| 999 | _c122839 | ||