Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал (3)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- Компьютеры персональные (2)
- учебные пособия для вузов (2)
- BAN-логика (1)
- CSP-алгебра (1)
- PI-исчисление (1)
- SADT-методология (1)
- UNIX. (1)
- Windows (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