Formal logical methods for system security and correctness
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press
c2008.
|
| Colección: | EBSCO Academic eBook Collection Complete.
NATO science for peace and security series. D, Information and communication security ; v. 14. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b31551877*spi |
| Notas: | "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--T.p. verso. |
|---|---|
| Descripción Física: | ix, 318 p. : il |
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas e índice. |
| ISBN: | 9781435677883 9781607503156 |
