IUKL Library

Your cart is empty.
IUKL Library

Your search returned 3 results. Subscribe to this search

Not what you expected? Check for suggestions
Unhighlight Highlight
|
No cover image available
Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) | Grumberg, Orna | Nipkow, Tobias, 1958- | Pfaller, Christian | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
Log in to add tags. Add to cart
No cover image available
Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) | Grumberg, Orna | Nipkow, Tobias, 1958- | Pfaller, Christian | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Place hold Add to cart
No cover image available
Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) | Nipkow, Tobias, 1958- | Grumberg, Orna | Hauptmann, Benedikt | NATO Emerging Security Challenges Division | ebrary, Inc.

Material type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Washington, D.C. : IOS Press, 2012Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1).
Place hold Add to cart
The Library's homepage is at http://library.iukl.edu.my/.