FMSE'04 proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004

Detalles Bibliográficos
Autores Corporativos: ACM Workshop on Formal Methods in Security Engineering (-), Association for Computing Machinery. Special Interest Group on Security, Audit, and Control, ACM Conference on Computer and Communications Security
Formato: Libro
Idioma:Inglés
Publicado: New York : Association for Computing Machinery 2004.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991005860929703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:VI, 98 p. : il. ; 28 cm
Bibliografía:Bibliogr.
ISBN:9781581139716