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:	Computer security > Congresses. Computer logic > Congresses.
Tags:	Add Tag No Tags, Be the first to tag this record!

Perpustakaan Jeneral Tun Ibrahim

Holdings details from Perpustakaan Jeneral Tun Ibrahim
Copy	On Shelf