Formal logical methods for system security and correctness

Sábháilte in:
Sonraí bibleagrafaíochta
Údair chorparáideacha: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc
Rannpháirtithe: Grumberg, Orna, Nipkow, Tobias, 1958-, Pfaller, Christian
Formáid: Leictreonach Imeacht comhdhála Ríomhleabhar
Teanga:Béarla
Foilsithe / Cruthaithe: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
Sraith:NATO security through science series. Information and communication security ; v. 14.
Ábhair:
Rochtain ar líne:An electronic book accessible through the World Wide Web; click to view
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!