Logics and languages for reliability and security

Збережено в:
Бібліографічні деталі
Співавтори: Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Інші автори: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Washington, D.C. : IOS Press, 2010.
Серія:NATO science for peace and security series. Information and communication security ; v. 25.
Предмети:
Онлайн доступ:An electronic book accessible through the World Wide Web; click to view
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!