Normal view
MARC view
Структурированные системы переходов Е. В. Кузьмин, В. А. Соколов
Material type:
TextLanguage: Russian Publication details: Москва Физматлит 2006Description: 173, [1] с. ил. 23 смISBN: 5922106929Subject(s): Вычислительные системы -- Математическое моделирование | Петри сети | Автоматов теория | параллельные вычислительные системы | распределенные вычислительные системы | системы помеченных переходов | параллельные программы | протоколы передачи данных | мультимножества | квазиупорядоченные множества | Минского счетчиковые машины | счетчиковые машины | темпоральные логики | магазинные автоматы | верификация программOther classification: 22.18
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| 1 месяц | Книгохранилище | 1-957169 (Browse shelf (Opens below)) | Available | 13820000585948 | ||
| 1 месяц | Книгохранилище | 1-946366 (Browse shelf (Opens below)) | Available | 13820000547940 | ||
| 1 неделя | Читальный зал 5 | 004 К893 (Browse shelf (Opens below)) | 1 | Available | 13820000548296 | |
| Выдается в читальный зал | Книгохранилище | 1-946256к (Browse shelf (Opens below)) | 1 | Available | 13820000548298 | |
| 1 месяц | Читальный зал. Депозитарий | 004 К893 (Browse shelf (Opens below)) | 2 | Available | 13820000548297 | |
| 1 месяц | Книгохранилище | 1-946257 (Browse shelf (Opens below)) | 2 | Available | 13820000548299 | |
| 1 месяц | Книгохранилище | 1-946258 (Browse shelf (Opens below)) | 3 | Available | 13820000548300 |
Библиогр.: с. 166-171
Предм. указ.: с. 172-173
There are no comments on this title.