Поиск :
Личный кабинет :
Электронный каталог: Verification of infinite-state systems with applications to security
Verification of infinite-state systems with applications to security
Доступно
1 из 1
1 из 1
Книга
Автор:
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 | Заказать |