|
|

avaa valikko

Reiner Hähnle | Akateeminen Kirjakauppa

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



Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, held
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Hähnle, Reiner
Oxford University Press
1994
Kovakantinen kirja
Automated Deduction in Multiple-Valued Logics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
140,10 €
Hähnle, Reiner; van der Aalst, Wil
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Co
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
D'Agostino, M.; Gabbay, Dov M.; Hähnle, Reiner; Posegga, J.
Kluwer Academic Publishers
1999
Kovakantinen kirja
Handbook of Tableau Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
179,00 €
Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
Springer
2007
Pehmeäkantinen kirja
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Baumgartner, Peter; Hähnle, Reiner; Posegga, Joachim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja
Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Beckert, Bernhard; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Giesl, Jürgen; Hähnle, Reiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Automated Reasoning - 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
D'Agostino, M.; Gabbay, Dov M.; Hähnle, Reiner; Posegga, J.
Springer
2010
Pehmeäkantinen kirja
Handbook of Tableau Methods
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
179,00 €
Giachino, Elena; Hähnle, Reiner; de Boer, Frank S.; Bonsangue, Marcello M.
Springer
2013
Pehmeäkantinen kirja
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
47,40 €
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer
2016
Pehmeäkantinen kirja
Deductive Software Verification – The KeY Book : From Theory to Practice
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
121,40 €
Bennaceur, Amel; Hähnle, Reiner; Meinke, Karl
Springer
2018
Pehmeäkantinen kirja
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
59,40 €
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Broch Johnsen, Einar; Kamburjan, Eduard
Springer
2024
Pehmeäkantinen kirja
Active Object Languages: Current Research Trends
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,40 €

Näytä lisää...