Your search returned 12 results.

Not what you expected? Check for suggestions

Results
	1.	Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.). by TAP 2008 (2008 : Prato, Italy) Beckert, Bernhard Hähnle, Reiner Series: Lecture notes in computer science ; 4966. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12255030 Publication details: Berlin ; New York : Springer, 2008 Other title: TAP 2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino. by Beckert, Bernhard Hähnle, Reiner Schmitt, P. H. (Peter H.), 1948- Series: Lecture notes in computer science ; 4334. \| Lecture notes in computer science. Lecture notes in artificial intelligence. \| Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007 Other title: KeY approach Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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. by TABLEAUX '95 (1995 : Sankt Goar, Germany) Baumgartner, Peter Hähnle, Reiner Posegga, Joachim Series: Lecture notes in computer science ; 918. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995 Other title: TABLEAUX '95 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / Jürgen Giesl, Reiner Hähnle (eds.). by IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland) Giesl, Jürgen Hähnle, Reiner Series: Lecture notes in computer science ; 6173. \| Lecture notes in computer science. Lecture notes in artificial intelligence. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2010 Other title: IJCAR 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	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.). by FMCO (Symposium) (11th : 2012 : Bertinoro, Italy) Giachino, Elena, 1981- [editor.] Hähnle, Reiner [editor.] Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Series: Lecture notes in computer science ; 7866. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	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 Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy) Bernardo, Marco [editor.] Damiani, Ferruccio [editor.] Hähnle, Reiner [editor.] Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] Series: Lecture notes in computer science ; 8483. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014 Other title: SFM 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Deductive Software Verification -- The KeY Book : From Theory to Practice / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hahnle, Peter H. Schmitt, Mattias Ulbrich (eds.). by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor] Hähnle, Reiner [editor.] Schmitt, P. H. (Peter H.), 1948- [editor.] Ulbrich, Mattias [editor] Series: Lecture notes in computer science ; 10001, \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Machine learning for dynamic software analysis : potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised papers / Amel Bennaceur, Reiner Hähnle, Karl Meinke (eds.). by Bennaceur, Amel [editor.] Hähnle, Reiner [editor.] Meinke, Karl [editor.] International Dagstuhl Seminar on Machine Learning for Dynamic Software Analysis: Potential and Limits (2016 : Dagstuhl, Wadern, Germany) Series: Lecture notes in computer science ; 11026. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	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ähnle, Wil van der Aalst (eds.). by FASE (Conference) (22nd : 2019 : Prague, Czech Republic) Hähnle, Reiner [editor.] Aalst, Wil van der [editor.] ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic) Series: Lecture notes in computer science ; 11424. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer Open, 2019 Other title: FASE 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich (eds.). by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Ulbrich, Mattias [editor.] Series: Lecture notes in computer science ; 12345. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2020] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Active object languages : current research trends / Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, editors. by Boer, Frank de [editor.] Damiani, Ferruccio [editor.] Hähnle, Reiner [editor.] Broch Johnsen, Einar [editor.] Kamburjan, Eduard [editor.] Series: Lecture notes in computer science ; 14360. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.). by Hähnle, Reiner [honouree.] Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] Series: Lecture notes in computer science ; 13360. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha