Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Книгохранилище (2)
- Читальный зал 5 (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (2)
- 1 неделя (1)
-
Topics
- параллельные программы (2)
- темпоральные логики (2)
- SMV программа верификации моделей (1)
- Автоматов теория (1)
- Верификация (1)
- Вычислительные системы (1)
- Компьютеры персональные (1)
- Математическое моделирование (1)
- Минского счетчиковые машины (1)
- Петри сети (1)
- Программы (1)
- абстракция данных (1)
- автоматизация отладки программ (1)
- алгоритмы квазипорядка (1)
- алгоритмы эквивалентности (1)
- бесконечные семейства (1)
- верификация моделей программ (1)
- верификация программ (1)
- временные автоматы (1)
- графовые грамматики (1)
- дискретное время (1)
- квазиупорядоченные множества (1)
- количественный временной анализ (1)
- коммуникационные протоколы (1)
- композиционные доказательства (1)
- конечные системы (1)
- логические схемы (1)
- магазинные автоматы (1)
- моделирование параллельных систем (1)
- мультимножества (1)
- непрерывное реальное время (1)
- параллельные вычислительные системы (1)
- проверка на модели (1)
- программное обеспечение (1)
- протоколы передачи данных (1)
- распределенные вычислительные системы (1)
- распределенные программы (1)
- редукция частичных порядков (1)
- сетевые грамматики (1)
- символьная верификация моделей (1)
- симметрия (1)
- системы помеченных переходов (1)
- счетчиковые машины (1)
- теория автоматов (1)
- Show more
- Show less