Rongo Univesity Library

Your cart is empty.

Cart
Lists

Log in to your account
Search history Clear

Search

Advanced search
Authority search
Tag cloud
Libraries

Log in to your account

Login: Password:

Home ›
Results of search for 'su:Computer software and su:Verification.'

Refine your search

Availability
- Limit to currently available items.
Authors
Series
Topics
Titles
- Robot Framework (Com...

Your search returned 13 results.

Unhighlight Highlight

| |

	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.	The software audit guide / by Helgeson, John W., Publication: . 1 online resource (286 pages) : Availability: No items available: Add to cart (remove)
	4.	No cover image available Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	5.	No cover image available Verification of infinite-state systems with applications to security Publication: Amsterdam ; \| Washington, D.C. : IOS Press, 2006 . vii, 235 p. : , Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005. Date: 2006 Availability: No items available: Add to cart (remove)
	6.	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)
	7.	No cover image available Metamodeling-driven IP reuse for SoC integration and microprocessor design by Mathaikutty, Deepak A. Publication: Boston ; \| London : Artech House, 2009 . xxi, 287 p. : Date: 2009 Availability: No items available: Add to cart (remove)
	8.	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)
	9.	Robot framework test automation / by Bisht, Sumit. Publication: . 1 online resource (98 pages) : , Includes index. Availability: No items available: Add to cart (remove)
	10.	No cover image available Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael, Publication: Hoboken, N.J. : Wiley-Interscience, 2008 . xv, 231 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	11.	No cover image available Verification of infinite-state systems with applications to security Publication: Amsterdam ; \| Washington, D.C. : IOS Press, 2006 . vii, 235 p. : , Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005. Date: 2006 Availability: No items available: Add to cart (remove)
	12.	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)
	13.	No cover image available Metamodeling-driven IP reuse for SoC integration and microprocessor design by Mathaikutty, Deepak A. Publication: Boston ; \| London : Artech House, 2009 . xxi, 287 p. : Date: 2009 Availability: No items available: Add to cart (remove)

Powered by Koha