Formal logical methods for system security and correctness /
| Автор-организации: | NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany) |
|---|---|
| Други автори: | Grumberg, Orna., Nipkow, Tobias, 1958-, Pfaller, Christian. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
℗♭2008.
|
| Серия: |
NATO science for peace and security series. Information and communication security ;
v. 14. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=244454 |
| Подобни документи: |
Print version::
Formal logical methods for system security and correctness. |
| Описание на библ. документ: |
"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--Title page verso. |
|---|---|
| Физически характеристики: |
1 online resource (ix, 318 pages) : illustrations. |
| Библиография: |
Includes bibliographical references and index. |
| ISBN: |
9781435677883 1435677889 9781607503156 1607503158 |
| ISSN: |
1874-6268 ; |