Software safety and security tools for analysis and verification /

Guardado en:

Detalles Bibliográficos
Autores Corporativos:	NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, NATO Emerging Security Challenges Division, ebrary, Inc
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:	Computer software > Verification > Congresses. Computer security > Congresses. Electronic books.
Acceso en línea:	An electronic book accessible through the World Wide Web; click to view
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet