Reiner Hähnle: buscar en el sitio web de Z-Library

Libre acceso a los conocimientos y la cultura.

Don't use scam websites

Libros (27)
Más populares
Lista
- Lista
- Tabla

1

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

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

Springer International Publishing

Reiner Hähnle, Wil van der Aalst

Año:

2019

Idioma:

english

Archivo:

PDF, 26.70 MB

0 / 0

english, 2019

2

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

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

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

Año:

2016

Idioma:

english

Archivo:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

3

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics

Clarendon Press; Oxford University Press

Año:

1993

Idioma:

english

Archivo:

PDF, 816 KB

0 / 0

english, 1993

4

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Saint Philip Street Press

Wil van der Aalst & Reiner Hähnle [Aalst, Wil van der & Hähnle, Reiner]

Año:

2020

Idioma:

english

Archivo:

EPUB, 29.12 MB

0 / 0

english, 2020

5

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

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 1.84 MB

0 / 0

english, 2008

6

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

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

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 3.94 MB

0 / 0

english, 2007

7

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

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 6.37 MB

0 / 0

english, 2010

8

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

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 4.72 MB

0 / 0

english, 2013

9

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Reiner Hähnle & Wil van der Aalst

Año:

2019

Idioma:

english

Archivo:

PDF, 26.68 MB

0 / 0

english, 2019

10

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

Año:

1995

Idioma:

english

Archivo:

DJVU, 3.54 MB

0 / 0

english, 1995

11

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

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 2.96 MB

0 / 0

english, 2008

12

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

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 6.60 MB

0 / 5.0

english, 2010

13

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

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 6.24 MB

0 / 0

english, 2013

14

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

Año:

1999

Idioma:

english

Archivo:

PDF, 3.24 MB

0 / 0

english, 1999

15

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Springer International Publishing

Amel Bennaceur, Reiner Hähnle, Karl Meinke

Año:

2018

Idioma:

english

Archivo:

PDF, 7.48 MB

0 / 0

english, 2018

16

Handbook of Tableau Methods

Handbook of Tableau Methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 23.70 MB

0 / 0

english, 1999

17

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

Springer International Publishing;Springer

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Año:

2020

Idioma:

english

Archivo:

PDF, 11.58 MB

5.0 / 5.0

english, 2020

18

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

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

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Año:

2014

Idioma:

english

Archivo:

PDF, 10.79 MB

0 / 0

english, 2014

19

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

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

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 5.36 MB

0 / 0

english, 2007

20

Handbook of Tableau Methods

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

Año:

1999

Idioma:

english

Archivo:

PDF, 3.24 MB

0 / 0

english, 1999

21

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Año:

2012

Idioma:

english

Archivo:

PDF, 10.70 MB

0 / 0

english, 2012

22

Handbook of tableau methods

Handbook of tableau methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

Año:

1999

Idioma:

english

Archivo:

DJVU, 5.94 MB

0 / 0

english, 1999

23

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

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 6.32 MB

0 / 0

english, 2010

24

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

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

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Año:

2014

Idioma:

english

Archivo:

PDF, 8.06 MB

0 / 0

english, 2014

25

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

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

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

Año:

2012

Idioma:

english

Archivo:

PDF, 12.26 MB

0 / 0

english, 2012

26

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

Año:

1995

Idioma:

english

Archivo:

PDF, 6.37 MB

0 / 0

english, 1995

27

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Año:

2012

Idioma:

english

Archivo:

PDF, 14.99 MB

0 / 0

english, 2012