|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
70540 |
| 005 |
20231031081515.0 |
| 010 |
|
|
|a 5922106929
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\75102
|
| 090 |
|
|
|a 70540
|
| 100 |
|
|
|a 20041124d2006 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a z 001zy
|
| 200 |
1 |
|
|a Структурированные системы переходов
|f Е. В. Кузьмин, В. А. Соколов
|
| 210 |
|
|
|a Москва
|c Физматлит
|d 2006
|
| 215 |
|
|
|a 176 с.
|c ил.
|
| 320 |
|
|
|a Библиогр.: с. 166-171.
|
| 320 |
|
|
|a Предметный указатель: с. 172-173.
|
| 610 |
1 |
|
|a вычислительные машины
|
| 610 |
1 |
|
|a параллельные системы
|
| 610 |
1 |
|
|a распределенные системы
|
| 610 |
1 |
|
|a помеченные переходы
|
| 610 |
1 |
|
|a структурированные системы
|
| 610 |
1 |
|
|a счетчиковые машины
|
| 610 |
1 |
|
|a системы переходов
|
| 610 |
1 |
|
|a темпоральные свойства
|
| 610 |
1 |
|
|a моделирование
|
| 675 |
|
|
|a 681.324.01
|v 3
|
| 700 |
|
1 |
|a Кузьмин
|b Е. В.
|g Егор Владимирович
|
| 701 |
|
1 |
|a Соколов
|b В. А.
|g Валерий Анатольевич
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20041124
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20060908
|g PSBO
|
| 942 |
|
|
|c BK
|
