Logics and languages for reliability and security
Additional authors:
Esparza, Javier.
|
Spanfelner, Bernd.
|
Grumberg, Orna.
|
Technische Universit�at M�unchen (Germany)
|
TECHNION.
--
Israel Institute of Technology (Israel)
|
ebrary, Inc.
Series:
NATO science for peace and security series. D, Information and communication security ;
. v. 25
Published by :
IOS Press,
(Washington, D.C. :)
Physical details: ix, 325 p. : ill.
Subject(s):
Programming languages (Electronic computers)
|
Languages, Artificial.
|
Computers
--
Reliability.
|
Computer security.
|
Electronic books.
Year: 2010
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10403989
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
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 on this title.