Logics and languages for reliability and security /
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...
Clasificación: | Libro Electrónico |
---|---|
Autores Corporativos: | , |
Otros Autores: | , , |
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: | |
Acceso en línea: | Texto completo |
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 ; |