Logics and languages for reliability and security

Saved in:
Bibliographic Details
Corporate Authors: Technische Universitat Munchen (Germany), TECHNION. Israel Institute of Technology (Israel), ProQuest (Firm)
Other Authors: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format: Electronic eBook
Language:English
Published: Washington, D.C. : IOS Press, 2010.
Series:NATO science for peace and security series. Information and communication security ; v. 25.
Subjects:
Online Access:Click to View
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:Includes indexes.
Physical Description:ix, 325 p. : ill.
ISBN:9781607501008 (electronic bk.)