Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
- Выдается в читальный зал (2)
- 1 месяц (1)
-
Topics
- алгоритмы эквивалентности (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)
- языки программирования, история (1)
- Show more
- Show less