| 000 | 01206nam a22002657c 4500 | ||
|---|---|---|---|
| 001 | 000026575 | ||
| 003 | RuMoIPM | ||
| 005 | 20251117175201.0 | ||
| 008 | 251105s1983 ru ||||| |||| 00| 0 rus d | ||
| 022 | _a2071-2898 (Print) | ||
| 022 | _a2071-2901 (Online) | ||
| 035 | _abiblionumber | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | _arus | ||
| 044 | _aru | ||
| 245 |
_a№ 84. Алгоритмы частичной верификации программы на ЯСП и их оценки _cК. Н. Ефимкин, И. Б. Задыхайло, С. П. Пименов, А. А. Шарипбаев |
||
| 260 | _c1983 | ||
| 490 | 0 | _aПрепринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук | |
| 700 | 1 | _aЕфимкин, Кирилл Николаевич | |
| 700 | 1 | _aЗадыхайло, И. Б. | |
| 700 | 1 | _aПименов, С. П. | |
| 700 | 1 | _aШарипбаев, А. А. | |
| 773 | 0 | 8 |
_w000024331 _7nnas _dМосква: ИПМ им. М. В. Келдыша РАН _tПрепринты ИПМ им.М.В.Келдыша. - 1983 _x2071-2898 (Print) |
| 942 | _cPR | ||
| 999 |
_c26575 _d26575 |
||