TY  - GEN
T1  - Logics and languages for reliability and security
T2  - NATO science for peace and security series. Information and communication security ;
A2  - Esparza, Javier
A2  - Spanfelner, Bernd
A2  - Grumberg, Orna
LA  - English
PP  - Amsterdam
PB  - IOS Press
YR  - 2010
UL  - https://ebooks.jgu.edu.in/Record/ebsco_acadsubs_ocn647184853
AB  - 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.
OP  - 325
CN  - QA76.76
SN  - 9781607501008
SN  - 1607501007
SN  - 9781607500995
SN  - 160750099X
KW  - Computer security : Congresses.
KW  - Computer logic : Congresses.
KW  - Sécurité informatique : Congrès.
KW  - Logique informatique : Congrès.
KW  - COMPUTERS : Computer Literacy.
KW  - COMPUTERS : Computer Science.
KW  - COMPUTERS : Data Processing.
KW  - COMPUTERS : Hardware : General.
KW  - COMPUTERS : Information Technology.
KW  - COMPUTERS : Machine Theory.
KW  - COMPUTERS : Reference.
KW  - Computer logic
KW  - Computer security
KW  - Conference papers and proceedings
ER  -