Your search returned 110 results.

Not what you expected? Check for suggestions

Results
21.	Image from Amazon.com Image from Google Jackets	Methods and Procedures for the Verification and Validation of Artificial Neural Networks by Brian J. Taylor Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
22.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by E. Allen Emerson, Kedar S. Namjoshi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
23.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
24.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Werner Damm, Holger Hermanns Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
25.	Image from Amazon.com Image from Google Jackets	Hardware and Software, Verification and Testing by Eyal Bin, Avi Ziv, Shmuel Ur Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
26.	Image from Amazon.com Image from Google Jackets	Interactive Systems. Design, Specification, and Verification by Gavin Doherty, Ann Blandford Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
27.	Image from Amazon.com Image from Google Jackets	Runtime Verification by Oleg Sokolsky, Serdar Taşıran Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
28.	Image from Amazon.com Image from Google Jackets	SAT-Based Scalable Formal Verification Solutions by Malay K. Ganai, Aarti Gupta Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
29.	Image from Amazon.com Image from Google Jackets	Software Verification and Validation by Marcus S. Fisher Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
30.	Image from Amazon.com Image from Google Jackets	Verification of Object-Oriented Software. The KeY Approach by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
31.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by Byron Cook, Andreas Podelski Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
32.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
33.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Aarti Gupta, Sharad Malik Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
34.	Image from Amazon.com Image from Google Jackets	Hardware and Software: Verification and Testing by Karen Yorav Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
35.	Image from Amazon.com Image from Google Jackets	Interactive Systems. Design, Specification, and Verification by T. C. Nicholas Graham, Philippe Palanque Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
36.	Image from Amazon.com Image from Google Jackets	Runtime Verification by Martin Leucker Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
37.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2008 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
38.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Zhiming Liu, Anders P. Ravn Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
39.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Ahmed Bouajjani, Oded Maler Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
40.	Image from Amazon.com Image from Google Jackets	Hardware and Software: Verification and Testing by Hana Chockler, Alan J. Hu Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists