| 000 | 01740nam1a2200385 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\235774 | ||
| 005 | 20260409074753.0 | ||
| 035 | _a(NLR Aleph) 000231698 | ||
| 090 |
_a1348558 _c1348558 |
||
| 100 | _a20260201 rusy50 | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aНа пути к верификации С-программ _dTowards the verification of C programs _fВ.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. Промский _zeng |
|
| 210 |
_aНовосибирск _cЭмари _d2001 |
||
| 215 | _d20 | ||
| 225 | 1 |
_aПрепринт _fРос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова _v... |
|
| 300 | _aАвт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky | ||
| 463 | 0 | _1001225818 | |
| 463 | 0 | _1001243249 | |
| 463 | 0 | _1001387422 | |
| 510 | 0 |
_aTowards the verification of C programs _zeng |
|
| 606 |
_aПрограммы (компьют.) _xВерификация _3RU\NLR\auth\661327565 _92209898 |
||
| 606 | 0 |
_aC, язык программирования _91672093 _3RU\NLR\auth\661040545 |
|
| 686 | _aЗ973.2-018-07 | ||
| 701 | 1 |
_aНепомнящий _bВ. А. _4070 |
|
| 701 | 1 |
_4070 _8rus _7ca _aАнуреев _bИ. С. _gИгорь Сергеевич _3RU\NLR\auth\7744383 _927324 |
|
| 701 | 1 |
_aМихайлов _bИ. Н. _4070 |
|
| 701 | 1 |
_4070 _8rus _7ca _aПромский _bА. В. _gАлексей Владимирович _3RU\NLR\auth\7756503 _939435 |
|
| 801 | 0 |
_aRU _bNLR _c20020311 _gPSBO |
|
| 801 | 1 |
_aRU _bNLR _c20020311 |
|
| 852 |
_aNLR _j2002-4/1927 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||