Logics and languages for reliability and security
Logics and languages for reliability and security [electronic resource] /
[edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
- Washington, D.C. : IOS Press, 2010.
- ix, 325 p. : ill.
- NATO science for peace and security series. D, Information and communication security ; v. 25 .
- NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25. .
Includes indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2010.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Programming languages (Electronic computers)
Languages, Artificial.
Computers--Reliability.
Computer security.
Electronic books.
QA76.7 / .L64eb
Includes indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2010.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Programming languages (Electronic computers)
Languages, Artificial.
Computers--Reliability.
Computer security.
Electronic books.
QA76.7 / .L64eb