yr 〜
yr

Search results 10

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-730>
National Diet Library
  • Author Heading..., Elena, 1981- Hähnle, Reiner. Boer, Frank S. de. Bonsangue,...

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 : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)

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 : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)
Paper図書
Springer[2014]<M17-15-592>
National Diet Library

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)

Automated reasoning : 5th international joint conference, IJCAR 2010 : Edinburgh, UK, July 16-19, 2010 : proceedings. : 2010 federated logic conference : CASC-J5: 5th IJCAR ATP system competition : 7th international termination competition : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6173. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-149>
National Diet Library
  • Author Heading...Giesl, Jürgen. Hähnle, Reiner. IJCAR 2010 (2010 : Edinburgh,...

Tests and proofs : second international conference, TAP 2008 : Prato, Italy, April 9-11, 2008 : proceedings. : Apr 2008, Prato, Italy. (Lecture Notes in Computer Science ; 4966)

Tests and proofs : second international conference, TAP 2008 : Prato, Italy, April 9-11, 2008 : proceedings. : Apr 2008, Prato, Italy. (Lecture Notes in Computer Science ; 4966)
Paper図書
Springerc2008.<M17-08-1257>
National Diet Library
  • Author HeadingBeckert, Bernhard. Hähnle, Reiner. TAP 2008 (2008 : Prato, Italy...

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings
Paper図書
Bernhard Beckert, Reiner Hähnle (eds.)Springerc2008
Other Libraries in Japan

Handbook of tableau methods

Handbook of tableau methods
Paper図書
edited by Marcello D'Agostino ... [et al.]Kluwer Academicc2010
Other Libraries in Japan

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.). (Lecture notes in computer science ; 918. Lecture notes in artificial intelligence)

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.). (Lecture notes in computer science ; 918. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1995.<M15-A9719>
National Diet Library
  • Author Heading...artner, Peter. Hähnle, Reiner. Posegga, Joachim.

Verification of object-oriented software : the KeY approach

Verification of object-oriented software : the KeY approach
Paper図書
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. LeinoSpringerc2007
Other Libraries in Japan

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics
Paper図書
Reiner HähnleClarendon Press1993
Other Libraries in Japan

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Paper図書
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)Springer Verlagc1995
Other Libraries in Japan

Reached to the end of result.