Your search returned 110 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com Image from Google Jackets	Logic Synthesis and Verification Algorithms by Dary H. Hachtel, Somenzi Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Springer 2006 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (2)Call number: 001.4240 HAS, ... Found in Open Library: Place hold Save to lists
2.	Image from Google Jackets	Validation and Verification of Knowledge Based Systems by - Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston Kluwer 1999 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 001.539 VER. Place hold Save to lists
3.	Image from Google Jackets	ASIC and FPGA Verification Guide by Richard Munden Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston Morgan 2005 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Place hold Save to lists
4.	Image from Google Jackets	Design Verification with C by Samir Palnitkar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Pearson 2004 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 001.6424C6 PAL. Place hold Save to lists
5.	Image from Google Jackets	Symbolic Simulation Methods for Industrial formal Verification by Robert B Jones Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston Kluwer 2002 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 001.539 JON. Place hold Save to lists
6.	Image from Google Jackets	System Verification by Jefffrey O Grady Material type: Text; Format: print ; Literary form: Not fiction Publication details: London Acadamic 2007 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 001.642Sy GRA. Place hold Save to lists
7.	Image from Google Jackets	Software verification and Analysis by Janusz Laski Stanley Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Springer 2011 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (3)Call number: 001.6425 LAS, ... Place hold Save to lists
8.	Image from Amazon.com Image from Google Jackets	Electronic Design Automation for IC System Design, Verification, and Testing by Lavagno , Luciano Material type: Text; Format: print ; Literary form: Not fiction Publication details: London T&F 2016 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
9.	Image from Amazon.com Image from Google Jackets	IET Wiring Regulations: Design and Verification of Electrical Installations, 9th ed by Scaddan , Brian Material type: Text; Format: print ; Literary form: Not fiction Publication details: London T&F 2013 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
10.	Image from Amazon.com Image from Google Jackets	ICE Manual of Geotechnical Engineering by - Series: ; 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: London Institute of Civil Engineers ICE 2012 Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1)Call number: 625.12 BRO. Found in Open Library: Place hold Save to lists
11.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Doron A. Peled, Yih-Kuen Tsay Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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
12.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Kousha Etessami, Sriram K. Rajamani Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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
13.	Image from Amazon.com Image from Google Jackets	Correct Hardware Design and Verification Methods by Dominique Borrione, Wolfgang Paul Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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
14.	Image from Amazon.com Image from Google Jackets	Verification, Model Checking, and Abstract Interpretation by Radhia Cousot Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 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
15.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Susanne Graf, Wenhui Zhang 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
16.	Image from Amazon.com Image from Google Jackets	Computer Aided Verification by Thomas Ball, Robert B. Jones 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
17.	Image from Amazon.com Image from Google Jackets	Formal Approaches to Software Testing and Runtime Verification by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff 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
18.	Image from Amazon.com Image from Google Jackets	Formal Methods for Hardware Verification by Marco Bernardo, Alessandro Cimatti 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
19.	Image from Amazon.com Image from Google Jackets	Hardware and Software, Verification and Testing by Shmuel Ur, Eyal Bin, Yaron Wolfsthal 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
20.	Image from Amazon.com Image from Google Jackets	Interactive Systems. Design, Specification, and Verification by Stephen W. Gilroy, Michael D. Harrison 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