Reiner Hähnle – författare
Visar alla böcker från författaren Reiner Hähnle.
17 produkter
Handbook of Tableau Methods
Av M. D'Agostino, Dov M. Gabbay m. fl.
Inbunden, 1999
2849 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
Av Wil Van Der Aalst, Reiner Hähnle
Häftad, 2020
989 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
Av Wil Van Der Aalst, Reiner Hähnle
Inbunden, 2020
1069 kr
Lägg i varukorg
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
Av Reiner Hähnle, Wil van der Aalst
Häftad, 2019
739 kr
Lägg i varukorg
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2020
739 kr
Lägg i varukorg
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
1109 kr
Lägg i varukorg
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
Av Marco Bernardo, Ferruccio Damiani m. fl.
Häftad, 2014
739 kr
Lägg i varukorg
Deductive Software Verification – The KeY Book
From Theory to Practice
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2016
1759 kr
Lägg i varukorg
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Av Amel Bennaceur, Reiner Hähnle m. fl.
Häftad, 2018
859 kr
Lägg i varukorg
Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Av Peter Baumgartner, Reiner Hähnle m. fl.
Häftad, 1995
719 kr
Lägg i varukorg
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Bernhard Beckert, Reiner Hähnle m. fl.
Häftad, 2007
1469 kr
Lägg i varukorg
Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Av Bernhard Beckert, Reiner Hähnle
Häftad, 2008
739 kr
Lägg i varukorg
Automated Reasoning
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Av Jürgen Giesl, Reiner Hähnle
Häftad, 2010
1469 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Av Reiner Hähnle, Jens Knoop m. fl.
Häftad, 2012
739 kr
Lägg i varukorg
Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Av Elena Giachino, Reiner Hähnle m. fl.
Häftad, 2013
679 kr
Lägg i varukorg