Logics and languages for reliability and security

Đã lưu trong:
Chi tiết về thư mục
Nhiều tác giả của công ty: Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Tác giả khác: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Washington, D.C. : IOS Press, 2010.
Loạt:NATO science for peace and security series. Information and communication security ; v. 25.
Những chủ đề:
Truy cập trực tuyến:An electronic book accessible through the World Wide Web; click to view
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!