Logics and languages for reliability and security /

Mostrar otras versiones (1)

Software-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logic...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany, IOS Press
Otros Autores: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2010.
Colección:NATO science for peace and security series. Information and communication security ; v. 24.
Temas:
Computer security > Congresses.
Computer logic > Congresses.
Sécurité informatique > Congrès.
Logique informatique > Congrès.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Computer logic
Computer security
Conference papers and proceedings
Acceso en línea:Texto completo
Descripción
Sumario:Software-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness.
Descripción Física:1 online resource (ix, 325 pages) : illustrations.
Bibliografía:Includes bibliographical reference and index.
ISBN:9781607501008
1607501007
9781607500995
160750099X
ISSN:1874-6268 ;

Ejemplares similares