Rongo Univesity Library catalog › Results of search for 'ccl=su:Computer systems and su:Verification.'

Your search returned 3 results.

	1.	No cover image available Principles of model checking by Baier, Christel. Publication: Cambridge, Mass. : MIT Press, 2008 . xvii, 975 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	2.	No cover image available Principles of model checking by Baier, Christel. Publication: Cambridge, Mass. : MIT Press, 2008 . xvii, 975 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	3.	Engineering dependable software systems / Publication: . 1 online resource (376 pages) : , "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. \| "Published in cooperation with NATO Emerging Security Challenges Division." Availability: No items available: Add to cart (remove)