Logics and languages for reliability and security

Saved in:
Bibliographic Details
Corporate Author: NATO Advanced Study Institute on Logics and Languages for Reliability and Security Marktoberdorf, Germany
Other Authors: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format: Conference Proceeding Book
Language:English
Published: Amsterdam IOS Press 2010.
Series:NATO science for peace and security series. Information and communication security v. 24.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:ix, 325 p. ill. 25 cm.
Bibliography:Includes bibiliographical reference and indexes.
ISBN:9781607500995
160750099X
9781607501008 (online)
ISSN:1874-6268