Reiner+Hähnle | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 14 tuotetta
Haluatko tarkentaa hakukriteerejä?

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

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,40 €

Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, held

Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,40 €

Automated Deduction in Multiple-Valued Logics

Hähnle, Reiner
Oxford University Press
1994
Kovakantinen kirja

140,30 €

Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Co

Hähnle, Reiner; van der Aalst, Wil
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,40 €

Handbook of Tableau Methods

D'Agostino, M.; Gabbay, Dov M.; Hähnle, Reiner; Posegga, J.
Springer
1999
Kovakantinen kirja

179,00 €

Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino

Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

101,40 €

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

Baumgartner, Peter; Hähnle, Reiner; Posegga, Joachim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

51,40 €

Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Beckert, Bernhard; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,40 €

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

Giesl, Jürgen; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

101,40 €

Handbook of Tableau Methods

D'Agostino, M.; Gabbay, Dov M.; Hähnle, Reiner; Posegga, J.
Springer
2010
Pehmeäkantinen kirja

179,00 €

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

Giachino, Elena; Hähnle, Reiner; de Boer, Frank S.; Bonsangue, Marcello M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,40 €

Deductive Software Verification – The KeY Book - From Theory to Practice

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer International Publishing AG
2016
Pehmeäkantinen kirja

121,40 €

Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, G

Bennaceur, Amel; Hähnle, Reiner; Meinke, Karl
Springer International Publishing AG
2018
Pehmeäkantinen kirja

59,40 €

Active Object Languages: Current Research Trends

de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Broch Johnsen, Einar; Kamburjan, Eduard
Springer International Publishing AG
2024
Pehmeäkantinen kirja