Просмотр записи
| Cиcт.нoмep | 001477079 |
| Идeнтиф. | RU\NLR\AUTH\661544586 |
| Версия | 20180423100709.0 |
| Bлaдeлeц | PUBLIC |
| Заголовок | SPIN, система программирования |
| Сс. от | SIMPLE PROMELA INTERPRETER, система программирования |
| Б.широкое | Параллельное программирование(компьют.) |
| Б.широкое | Программы(компьют.) Верификация |
| Cм.тaкжe | PROMELA, язык моделирования процессов PROMELA, язык моделирования процессов |
| Индекс ББК | З973.202-018.1 |