FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007

FMSE '07 : proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007

Detalles Bibliográficos
Autor principal: ACM Workshop on Formal Methods in Security Engineering (corporate author)
Autores Corporativos: ACM Workshop on Formal Methods in Security Engineering Corporate Author (corporate author), 14th ACM Conference on Computer and Communications Security 2007 (-), Association for Computing Machinery Special Interest Group on Security, Audit, and Control, Content Provider (content provider)
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2007
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713951606719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (82 pages)

Ejemplares similares