Formal logical methods for system security and correctness

Guardat en:
Dades bibliogràfiques
Autor corporatiu: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc
Altres autors: Grumberg, Orna, Nipkow, Tobias, 1958-, Pfaller, Christian
Format: Electrònic Actes de congresos eBook
Idioma:anglès
Publicat: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
Col·lecció:NATO security through science series. Information and communication security ; v. 14.
Matèries:
Accés en línia:An electronic book accessible through the World Wide Web; click to view
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!