| 000 | 01385nam0a2200313 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\b_ik\106343 | ||
| 005 | 20250616225258.0 | ||
| 035 | _a(NLR Aleph) 002180154 | ||
| 090 |
_a2772092 _c2772092 |
||
| 100 | _a20040129d2003 |||y0rusy50 ca | ||
| 101 | 0 |
_aeng _drus |
|
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aA state-based semantics of a Pascal-like language _dФормальная модель паскалеподобной программы _fA.V. Zamulin |
|
| 210 |
_aNovosibirsk _cInst. of informatics systems _d2003 |
||
| 215 |
_a25 с. _d21 |
||
| 225 | 1 |
_aPreprint _fSiberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems _v104 |
|
| 300 | _aНа парал. тит. л. авт. на рус. яз.: А.В. Замулин | ||
| 300 | _aРез. на рус. яз. | ||
| 320 | _aБиблиогр.: с. 25 (19 назв.) | ||
| 510 | 0 |
_aФормальная модель паскалеподобной программы _zrus |
|
| 606 | 0 |
_aЯзыки программирования _xСемантика _92173300 _3RU\NLR\AUTH\661307210 |
|
| 606 | 0 |
_aPASCAL, язык программирования _91182114 _3RU\NLR\AUTH\66475840 |
|
| 686 | 4 | _aЗ973.2-018.1 | |
| 700 | 1 |
_aZamulin _bA. V. _gAleksandr Vasil'evič _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20040129 _gPSBO |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||