Software safety and security : tools for analysis and verification /

Guardado en:
Detalles Bibliográficos
Autor Corporativo: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany
Otros Autores: Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt
Formato: Electrónico Procedimiento de la Conferencia eBook
Lenguaje:inglés
Publicado: Washington, D.C. : IOS Press, 2012.
Colección:NATO science for peace and security series. Information and communication security ; v. 33.
Materias:
Acceso en línea:https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/283317
Ver en el OPAC
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!