Logics and languages for reliability and security

Logics and languages for reliability and security / edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany, IOS Press
Other Authors: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format: eBook
Language:English
Published: Amsterdam : IOS Press, 2010.
Series:NATO science for peace and security series. Information and communication security ; v. 24.
Subjects:
Computer security > Congresses.
Computer logic > Congresses.
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
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Available

Similar Items