Reiner Hähnle - Böcker

Visar alla böcker från författaren Reiner Hähnle.
17 produkter
Reiner Hähnle, Germany) Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe - Automated Deduction in Multiple-Valued Logics, Inbunden
Del 10 - International Series of Monographs on Computer Science

Automated Deduction in Multiple-Valued Logics

Av Reiner Hähnle, Germany) Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe

Inbunden, Engelska, 1994

2 139 kr

Skickas inom 7-10 vardagar
M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga, Marcello D'Agostino - Handbook of Tableau Methods, Inbunden

Handbook of Tableau Methods

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

Inbunden, Engelska, 1999

2 809 kr

Skickas inom 10-15 vardagar
Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

Av Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst

Häftad, Engelska, 2020

929 kr

Skickas inom 5-8 vardagar
Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst - Fundamental Approaches to Software Engineering, Inbunden

Fundamental Approaches to Software Engineering

Av Wil Van Der Aalst, Reiner Hähnle, Wil van der Aalst

Inbunden, Engelska, 2020

999 kr

Skickas inom 5-8 vardagar
Reiner Hähnle, Wil van der Aalst, Reiner Hahnle, Wil Van Der Aalst - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

Av Reiner Hähnle, Wil van der Aalst, Reiner Hahnle, Wil Van Der Aalst

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle - Deductive Software Verification: Future Perspectives, Häftad

Deductive Software Verification: Future Perspectives

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

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle - Active Object Languages: Current Research Trends, Häftad

Active Object Languages: Current Research Trends

Av Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle

Häftad, Engelska, 2024

1 059 kr

Skickas inom 5-8 vardagar
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer - Formal Methods for Executable Software Models, Häftad

Formal Methods for Executable Software Models

Av Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle - Deductive Software Verification – The KeY Book, Häftad

Deductive Software Verification – The KeY Book

Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle

Häftad, Engelska, 2016

1 749 kr

Skickas inom 10-15 vardagar
Amel Bennaceur, Reiner Hähnle, Karl Meinke, Reiner Hahnle - Machine Learning for Dynamic Software Analysis: Potentials and Limits, Häftad

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Av Amel Bennaceur, Reiner Hähnle, Karl Meinke, Reiner Hahnle

Häftad, Engelska, 2018

859 kr

Skickas inom 10-15 vardagar
Peter Baumgartner, Reiner Hähnle, Joachim Posegga - Theorem Proving with Analytic Tableaux and Related Methods, Häftad

Theorem Proving with Analytic Tableaux and Related Methods

Av Peter Baumgartner, Reiner Hähnle, Joachim Posegga

Häftad, Engelska, 1995

719 kr

Skickas inom 10-15 vardagar
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach, Häftad

Verification of Object-Oriented Software. The KeY Approach

Av Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Häftad, Engelska, 2007

1 459 kr

Skickas inom 10-15 vardagar
Bernhard Beckert, Reiner Hähnle - Tests and Proofs, Häftad

Tests and Proofs

Av Bernhard Beckert, Reiner Hähnle

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar
Jürgen Giesl, Reiner Hähnle - Automated Reasoning, Häftad

Automated Reasoning

Av Jürgen Giesl, Reiner Hähnle

Häftad, Engelska, 2010

1 459 kr

Skickas inom 10-15 vardagar
Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification, and Validation, Häftad
Del 336 - Communications in Computer and Information Science

Leveraging Applications of Formal Methods, Verification, and Validation

Av Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar
Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hahnle, Frank S. De Boer - Formal Methods for Components and Objects, Häftad

Formal Methods for Components and Objects

Av Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hahnle, Frank S. De Boer

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar
M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga - Handbook of Tableau Methods, Häftad

Handbook of Tableau Methods

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

Häftad, Engelska, 2010

2 809 kr

Skickas inom 10-15 vardagar