Your search returned 2 results.

Results
	1.		Image from Amazon.com	Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison. by Gilroy, Stephen W [editor.] Harrison, Michael D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3941Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael D. Harrison, Mark-Alexander Sujan. by Harrison, Michael D [editor.] Sujan, Mark-Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5219Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search