Формальный подход к исследованию структур вычислительных систем
| Опубликовано в: : | Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.) С. 167-172 |
|---|---|
| Главный автор: | |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | Перейти в каталог НБ ТГУ |