Logics and languages for reliability and security
Başlık:
Logics and languages for reliability and security
Yayın Bilgileri:
Washington, D.C. : IOS Press, 2010.
Fiziksel Tanımlama:
ix, 325 p. : ill.
Seri:
NATO science for peace and security series. D, Information and communication security ; v. 25
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 25.
Genel Not:
Includes indexes.
