Поиск :
Личный кабинет :
Электронный каталог: Verification of infinite-state systems with applications to security
Verification of infinite-state systems with applications to security
Книга
Автор:
Verification of infinite-state systems with applications to security
Серия: NATO security through science series
Издательство: IOS press, 2005 г.
ISBN 1-586-03570-3
Автор:
Verification of infinite-state systems with applications to security
Серия: NATO security through science series
Издательство: IOS press, 2005 г.
ISBN 1-586-03570-3
Заказать 
На полку
Книга
004 V74
Verification of infinite-state systems with applications to security / ed. Edmund Clarke, Marius Minea, Ferucio Laurentiu Tiplea. – Amsterdam: IOS press, 2005. – VII, 235 p.: ill. – (NATO security through science series; vol. 1. Information and communication security) . - Пер. загл.: [Информационная безопасность]. - ISBN 1-586-03570-3: 15000.00.
004.56
общий = ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
004 V74
Verification of infinite-state systems with applications to security / ed. Edmund Clarke, Marius Minea, Ferucio Laurentiu Tiplea. – Amsterdam: IOS press, 2005. – VII, 235 p.: ill. – (NATO security through science series; vol. 1. Information and communication security) . - Пер. загл.: [Информационная безопасность]. - ISBN 1-586-03570-3: 15000.00.
004.56
общий = ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ЧЗ ЗИ | 1 | 1 | 1 | Заказать |