Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
- Книгохранилище (2)
-
Item types
-
Topics
- RAM-машина (1)
- RAM-моделирование неочевидное (1)
- Джелинского-Моранды модель (1)
- Нельсона модель (1)
- Россия (1)
- Шумана модель (1)
- анализ безопасности программного обеспечения (1)
- доказательства правильности программ (1)
- защита от несанкционированного доступа (1)
- защита программных средств (1)
- идентификация программ (1)
- инкрементальное маркирование (1)
- инструментальные средства (1)
- информационная политика (1)
- информационное противоборство (1)
- коды программ (1)
- компьютерные вирусы (1)
- конфиденциальные вычисления (1)
- маркирование программ (1)
- модели надежности (1)
- Show more
- Show less