IUKL Library catalog › Results of search for 'au:"NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness"'

Your search returned 2 results.

Not what you expected? Check for suggestions

		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; Format: electronic available online ; 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 (remove)
		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; Format: electronic available online ; 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 (remove)

IUKL Library