Scientific Library of Tomsk State University

   E-catalog        

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Tests and Proofs Электронный ресурс Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hhnle

by Beckert, Bernhard | Hhnle, Reiner | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Verification of Object-Oriented Software. The KeY Approach Электронный ресурс Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hhnle, Peter H. Schmitt.

by Beckert, Bernhard | Hhnle, Reiner | Schmitt, Peter H | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
3.
Automated Reasoning with Analytic Tableaux and Related Methods Электронный ресурс International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert.

by Beckert, Bernhard | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages