Logics and languages for reliability and security

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijät: Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Muut tekijät: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Aineistotyyppi: Elektroninen E-kirja
Kieli:englanti
Julkaistu: Washington, D.C. : IOS Press, 2010.
Sarja:NATO science for peace and security series. Information and communication security ; v. 25.
Aiheet:
Linkit:An electronic book accessible through the World Wide Web; click to view
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!