My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-17 of 17)
Hähnle, Reiner.
1
Cover Art
    PRINTED BOOKS 1993

Automated deduction in multiple-valued logics / Reiner Hähnle.

    Hähnle, Reiner.
Oxford : Clarendon Press ; New York : Oxford University Press,        ix, 172 pages : illustrations ; 25 cm. 1993
2
Cover Art
    E-RESOURCE c2010

Automated reasoning 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / [electronic resource] : Jürgen Giesl, Reiner Hähnle (eds.).

    IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland)
Berlin ; New York : Springer,        1 online resource (xii, 534 p.) : ill. c2010
3
Cover Art
    E-RESOURCE 2010

Automated reasoning 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / [electronic resource] : Jürgen Giesl, Reiner Hähnle (eds.).

    IJCAR 2010 (2010 : Edinburgh, Scotland)
Berlin : Springer,        1 online resource (xii, 534 pages) : illustrations. 2010
4
Cover Art
    E-RESOURCE 2016

Deductive Software Verification -- The KeY Book : From Theory to Practice / Wolfgang Ahrendt [and others] (eds.).

   
Cham : Springer,        1 online resource (XXXII, 702 pages) : illustrations 2016
5
Cover Art
    E-RESOURCE 2013

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures / Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.).

    FMCO (Symposium) (11th : 2012 : Bertinoro, Italy)
Heidelberg : Springer,        1 online resource (ix, 241 pages) : illustrations. 2013
6
Cover Art
    E-RESOURCE 2014

Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / Marco Bernardo, Ferruccio

    International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)
Cham : Springer,        1 online resource : illustrations. 2014
7
Cover Art
    E-RESOURCE 2019

Fundamental approaches to software engineering : 22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / Reiner H

    FASE (Conference) (22nd : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer Open,        1 online resource (xiii, 446 pages) : illustrations (some color). 2019
8
Cover Art
    E-RESOURCE 2019

Fundamental approaches to software engineering : 22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / Reiner H

    FASE (Conference) (22nd : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer Open,        1 online resource (xiii, 446 pages) : illustrations (some color). 2019
12
Cover Art
    E-RESOURCE 2008

Tests and proofs second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / [electronic resource] : Bernhard Beckert, Reiner Hähnle (eds.).

    TAP 2008 (2008 : Prato, Italy)
Berlin ; New York : Springer,        1 online resource (x, 191 p.) : ill. 2008
13
Cover Art
    E-RESOURCE 2008

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.).

    TAP 2008 (2008 : Prato, Italy)
Berlin ; New York : Springer,        x, 191 pages : illustrations ; 24 cm. 2008
15
Cover Art
    E-RESOURCE 1995

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.

    TABLEAUX '95 (1995 : Sankt Goar, Germany)
Berlin ; New York : Springer,        1 online resource (x, 352 pages) : illustrations. 1995
17
Cover Art
    E-RESOURCE 2007

Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.

   
Berlin ; New York : Springer,        xxix, 658 pages : illustrations ; 24 cm. 2007
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove