Refine your search
Availability
-
bib-level
- m (3)
-
Authors
-
Locations
- Абонемент. Депозитарий (1)
- Книгохранилище (3)
- Читальный зал 5 (1)
-
Item types
- 1 неделя (1)
- 6 месяцев (1)
- Выдается в читальный зал (3)
-
Topics
- BAN-логика (1)
- CSP-алгебра (1)
- PI-исчисление (1)
- SADT-методология (1)
- UNIX. (1)
- Windows (1)
- Верификация (1)
- Долева-Яу модель (1)
- Компьютеры персональные (2)
- Операционные системы (1)
- Программы (1)
- алгоритмы программирования (1)
- анализ моделей программных систем (1)
- анализ программ (1)
- архитектура микропроцессоров (1)
- архитектура операционных систем (1)
- аудит процессов верификации (1)
- валидация программных средств (1)
- ввод-вывод (1)
- учебные пособия для вузов (2)
- Show more
- Show less