Logics and languages for reliability and security
by
Esparza, Javier.
Title
:
Logics and languages for reliability and security
Author
:
Esparza, Javier.
Publication Information
:
Washington, D.C. : IOS Press, 2010.
Physical Description
:
ix, 325 p. : ill.
Series
:
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.
General Note
:
Includes indexes.
Subject Term
:
Programming languages (Electronic computers)
Languages, Artificial.
Computers -- Reliability.
Computer security.
Genre
:
Electronic books.
Added Author
:
Esparza, Javier.
Spanfelner, Bernd.
Grumberg, Orna.
Added Corporate Author
:
Technische Universität München (Germany)
TECHNION. Israel Institute of Technology (Israel)
ProQuest (Firm)
Electronic Access
:
| Shelf Number | Item Barcode | Shelf Location | Shelf Location | Holding Information |
|---|
| QA76.7 .L64 | 966627-1001 | Ebook Central | Ebook Central | |