| 000 | 01530nam0a2200361 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\b_ik\155076 | ||
| 005 | 20260409074753.0 | ||
| 035 | _a(NLR Aleph) 002228066 | ||
| 090 |
_a3389672 _c3389672 |
||
| 100 | _a20070112d2005 u y0rusy50 ca | ||
| 101 | 0 |
_aeng _drus |
|
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 | _aTowards C | |
| 210 |
_aNovosibirsk _cA.P. Ershov Inst. of informatics systems _d2005 |
||
| 215 |
_a38 с. _d21 |
||
| 225 | 1 |
_aPreprint _dПрепринт _fSiberian div. of the Russ. acad. of sciences, A.P. Ershov Inst. of informatics systems _v128 |
|
| 300 | _aНа парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский | ||
| 300 | _aРез. на рус. яз. | ||
| 320 | _aБиблиогр.: с. 37-38 (19 назв.) | ||
| 517 | 0 | _aНа пути к верификации С | |
| 606 |
_aПрограммы (компьют.) _xВерификация _3RU\NLR\AUTH\661327565 _92209898 |
||
| 606 | 1 |
_aC#, язык программирования _92206739 _3RU\NLR\AUTH\661325801 |
|
| 686 | 4 | _aЗ973.2-018-07 | |
| 701 | 1 |
_aNepomnjaščij _bV. A. _f1939- _gValerij Aleksandrovič _4070 |
|
| 701 | 1 |
_aAnureev _bI. S. _4070 |
|
| 701 | 1 |
_aDubranovskij _bI. V. _4070 |
|
| 701 | 1 |
_aPromskij _bA. V. _gAleksej Vladimirovič _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20070112 _gRCR |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||