| 000 | 01534nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\66009 | ||
| 005 | 20250616093241.0 | ||
| 021 |
_aRU _b99-24876 _91215 |
||
| 090 |
_a352356 _c352356 |
||
| 100 | _a19991227d1998 |||y0rusy50 ca | ||
| 101 | 0 |
_arus _deng |
|
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aСпособ построения раскрашенных сетей Петри, моделирующих SDL-системы _dColoured Petri nets approach to the validation of SDL-specifications _fТ.Г. Чурина _zeng |
|
| 210 |
_aНовосибирск _cИн-т систем информатики _d1998 |
||
| 215 |
_a56 с. _cил. _d20 |
||
| 225 | 1 |
_aПрепринт _fРоссийская академия наук. Сибир. отд-ние, Ин-т систем информатики им. А.П. Ершова _v56 |
|
| 300 | _aАвт. также на англ. яз.: T.G. Churina | ||
| 300 | _aРез. на англ. яз | ||
| 320 | _aБиблиогр.: с. 55-56 | ||
| 510 | 0 |
_aColoured Petri nets approach to the validation of SDL-specifications _eT.G. Churina _zeng |
|
| 606 | 0 |
_aПетри, сети _xПроектирование _2nlr-sh1 _3RU\NLR\auth\661292999 |
|
| 686 | _aЗ973.202-02-5-05 | ||
| 700 | 1 |
_aЧурина _bТ. Г. _gТатьяна Геннадьевна _3RU\NLR\auth\7736803 _4070 |
|
| 852 |
_aNLR _j99-4/8883 |
||
| 942 | _cBOOK | ||
| 983 | 0 | _aИК/АС | |