کتاب‌های Reiner Hahnle - BookPine

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Wolfgang Ahrendt

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ... Czech Republic, April 6-11, 2019, Proceedings

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ... Czech Republic, April 6-11, 2019, Proceedings

Reiner Hahnle

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 11424)

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 11424)

Reiner Hahnle

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, ... Notes in Computer Science Book 11026)

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, ... Notes in Computer Science Book 11026)

Amel Bennaceur

Deductive Software Verification: The KeY Book

Deductive Software Verification: The KeY Book

Wolfgang Ahrendt

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

Peter Baumgartner

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Elena Giachino

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers

Reiner Hahnle

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops (SARS 2011 and MLSC 2011) Held Under the Auspices of Computer and Information Science

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops (SARS 2011 and MLSC 2011) Held Under the Auspices of Computer and Information Science

Reiner Hahnle

Handbook of Tableau Methods

Handbook of Tableau Methods

Dov M. Gabbay

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jürgen Giesl

Automated Reasoning

Automated Reasoning

Jürgen Giesl

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

Bernhard Beckert

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, ...

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, ...

Peter Baumgartner

Automated Deduction in Multiple-valued Logics

Automated Deduction in Multiple-valued Logics

Reiner Hahnle