| 000 | 02109nam0a2200385 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1117734 | ||
| 005 | 20250615063926.0 | ||
| 021 |
_aRU _b2007-45521 _92428 |
||
| 035 | _a(NLR Aleph) 001104731 | ||
| 090 |
_a1200524 _c1200524 |
||
| 100 | _a20070815d2007 |||y0rusy50 ca | ||
| 101 | 0 |
_arus _deng |
|
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aСимуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL _dSimulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL _fВ.А. Непомнящий, Е.В. Бодин, С.О. Веретнов, М.В. Тюрюшкин |
|
| 210 |
_aНовосибирск _cИнститут систем информатики _d2007 |
||
| 215 |
_a69 с. _cил. _d21 |
||
| 225 | 1 |
_aПрепринт _fРос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова _v142 |
|
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 68-69 (23 назв.) | ||
| 510 | 0 |
_aSimulation and verification of static SDL specifications of distributed systems by help of the intermediate language REAL _zeng |
|
| 606 | 1 |
_aРаспределенные вычислительные системы _xПрограммирование _92338249 _3RU\NLR\auth\661397842 |
|
| 606 | 1 |
_aSDL, язык программирования _91127814 _3RU\NLR\auth\66128130 |
|
| 606 | 1 |
_aREAL, язык программирования _91828623 _3RU\NLR\auth\66826609 |
|
| 686 | _aЗ973.202-018 | ||
| 701 | 1 |
_aНепомнящий _bВ. А. _gВалерий Александрович _4070 |
|
| 701 | 1 |
_aБодин _bЕ. В. _gЕвгений Викторович _4070 |
|
| 701 | 1 |
_aВеретнов _bС. О. _4070 |
|
| 701 | 1 |
_aТюрюшкин _bМ. В. _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20070815 _gRCR |
|
| 801 | 1 |
_aRU _bNLR _c20070815 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||