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:	Computer software > Verification > Congresses. Computer security > Congresses. Electronic books.
Acceso en línea:	https://elibro.net/ereader/ipchile/283317
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet