Logics and languages for reliability and security

Gardado en:
Detalles Bibliográficos
Corporate Authors: Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Outros autores: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Formato: Electrónico eBook
Idioma:inglés
Publicado: Washington, D.C. : IOS Press, 2010.
Series:NATO science for peace and security series. Information and communication security ; v. 25.
Subjects:
Acceso en liña:An electronic book accessible through the World Wide Web; click to view
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Search Result 1

Logics and languages for reliability and security

Publicado 2010
An electronic book accessible through the World Wide Web; click to view
Electrónico eBook