Rongo Univesity Library catalog › Results of search for 'au:Nipkow, Tobias,'

Your search returned 4 results.

	1.	No cover image available Formal logical methods for system security and correctness Publication: Amsterdam, Netherlands ; \| Washington, DC : IOS Press, 2008 . ix, 318 p. : , "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso. Date: 2008 Availability: No items available: Add to cart (remove)
	2.	No cover image available Formal logical methods for system security and correctness Publication: Amsterdam, Netherlands ; \| Washington, DC : IOS Press, 2008 . ix, 318 p. : , "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso. Date: 2008 Availability: No items available: Add to cart (remove)
	3.	No cover image available Software safety and security tools for analysis and verification / Publication: Washington, D.C. : IOS Press, 2012 . ix, 387 p. : , "Published in cooperation with NATO Emerging Security Challenges Division." \| "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso. \| Includes indexes. Date: 2012 Availability: No items available: Add to cart (remove)
	4.	No cover image available Software safety and security tools for analysis and verification / Publication: Washington, D.C. : IOS Press, 2012 . ix, 387 p. : , "Published in cooperation with NATO Emerging Security Challenges Division." \| "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso. \| Includes indexes. Date: 2012 Availability: No items available: Add to cart (remove)

Powered by Koha