ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

3.
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

4.
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

5.
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages