Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
Contributor(s): Esparza, Javier | Spanfelner, Bernd | Grumberg, Orna | Technische Universit�at M�unchen (Germany) | TECHNION. Israel Institute of Technology (Israel) | ebrary, Inc.
Material type:
BookSeries: NATO science for peace and security seriesSub-series DInformation and communication security: v. 25.Publisher: Washington, D.C. : IOS Press, 2010Description: ix, 325 p. : ill.Subject(s): Programming languages (Electronic computers) | Languages, Artificial | Computers -- Reliability | Computer securityGenre/Form: Electronic books.Online resources: An electronic book accessible through the World Wide Web; click to view
| Item type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
|---|---|---|---|---|---|---|---|---|
E-book
|
IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=10403989 | 1 | Available |
Total holds: 0
Includes indexes.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2010. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.