Your search returned 6 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com Image from Google Jackets	Automated Reasoning with Analytic Tableaux and Related Methods by Bernhard Beckert 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
2.	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
3.	Image from Amazon.com Image from Google Jackets	Tests and Proofs by Bernhard Beckert, Reiner Hähnle 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
4.	Image from Amazon.com Image from Google Jackets	Formal Verification of Object-Oriented Software by Bernhard Beckert, Claude Marché Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
5.	Image from Amazon.com Image from Google Jackets	Formal Verification of Object-Oriented Software by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 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
6.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 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