Logics and languages for reliability and security

Shranjeno v:
Bibliografske podrobnosti
Corporate Authors: Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Drugi avtorji: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Washington, D.C. : IOS Press, 2010.
Serija:NATO science for peace and security series. Information and communication security ; v. 25.
Teme:
Online dostop:An electronic book accessible through the World Wide Web; click to view
Oznake: Označite
Brez oznak, prvi označite!