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