| 000 | 02326nam0a2200409 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1126546 | ||
| 005 | 20260409074752.0 | ||
| 021 |
_aRU _b2007-50961 _92695 |
||
| 035 | _a(NLR Aleph) 001113485 | ||
| 035 | _a(nilc)RSL-KNO-003151834 | ||
| 090 |
_a1252931 _c1252931 |
||
| 100 | _a20070813d2006 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aПрименение трехуровневого подхода к верификации программ на языке С#-LIGHT _dApplication of three-level approach to C#-LIGHT program verification _fА.В. Промский _zeng |
|
| 210 |
_aНовосибирск _cИнститут систем информатики _d2006 |
||
| 215 |
_a55 с. _d20 |
||
| 225 | 1 |
_aПрепринт _fРоссийская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А.П. Ершова _v139 |
|
| 300 | _aАвт. также на англ. яз.: A.V. Promsky | ||
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 54-55 (29 назв.) | ||
| 510 | 0 |
_6z11790 _aApplication of three-level approach to C#-LIGHT program verification |
|
| 606 |
_aПрограммы (компьют.) _xВерификация _3RU\NLR\auth\661327565 _92209898 |
||
| 606 | 1 |
_aC#, язык программирования _92206739 _3RU\NLR\auth\661325801 |
|
| 610 | 0 | _aВычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Объектно-ориентированное программирование -- Автоматизация. Верификация программ -- Пособие для специалистов | |
| 610 | 0 | _aязык программирования C Light | |
| 686 |
_aЗ973.2-018.2-5-05,0 _2rubbk |
||
| 686 | _aЗ973.2-018-07 | ||
| 700 | 1 |
_4070 _8rus _7ca _aПромский _bА. В. _gАлексей Владимирович _3RU\NLR\auth\7756503 _939435 |
|
| 790 | 1 |
_4070 _8rus _7ba _aPromskij _bA. V. _gAleksej Vladimirovič _3RU\NLR\auth\7756504 _939436 |
|
| 801 | 0 |
_aRU _bРКП _c20070813 _grcr |
|
| 801 | 1 |
_aRU _bРГБ _c20070813 |
|
| 801 | 2 |
_aRU _bNLR _c20070911 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||