Logics and languages for reliability and security

Kaydedildi:

Detaylı Bibliyografya
Kurumsal yazarlar:	Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Diğer Yazarlar:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Washington, D.C. : IOS Press, 2010.
Seri Bilgileri:	NATO science for peace and security series. Information and communication security ; v. 25.
Konular:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Internet