Структурированные системы переходов

Структурированные системы переходов

Bibliographic Details
Main Author: Кузьмин, Егор Владимирович
Other Authors: Соколов, Валерий Анатольевич
Format: Book
Language:Russian
Published: Москва Физматлит 2006
Subjects:
Вычислительные системы > Математическое моделирование
Петри сети
Автоматов теория
параллельные вычислительные системы
распределенные вычислительные системы
системы помеченных переходов
параллельные программы
протоколы передачи данных
мультимножества
квазиупорядоченные множества
Минского счетчиковые машины
счетчиковые машины
темпоральные логики
магазинные автоматы
верификация программ
Online Access:Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number: 1-946256к
1-946257
1-946258
1-946366
1-957169
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold
Available  Place a Hold

Научная библиотека ТГУ: Читальный зал 5

Holdings details from Научная библиотека ТГУ: Читальный зал 5
Call Number: 004 К893
Available  Place a Hold

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number: 004 К893
Available  Place a Hold

Similar Items