Formal logical methods for system security and correctness

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijät: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc
Muut tekijät: Grumberg, Orna, Nipkow, Tobias, 1958-, Pfaller, Christian
Aineistotyyppi: Elektroninen Konferenssijulkaisu E-kirja
Kieli:englanti
Julkaistu: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
Sarja:NATO security through science series. Information and communication security ; v. 14.
Aiheet:
Linkit:An electronic book accessible through the World Wide Web; click to view
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!