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. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
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 |
| Описание на библ. документ: |
Includes indexes. |
|---|---|
| Физически характеристики: |
ix, 325 p. : ill. |