Logics and languages for reliability and security

Furkejuvvon:
Bibliográfalaš dieđut
Searvvušdahkkit: Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Eará dahkkit: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Washington, D.C. : IOS Press, 2010.
Ráidu:NATO science for peace and security series. Information and communication security ; v. 25.
Fáttát:
Liŋkkat:An electronic book accessible through the World Wide Web; click to view
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!