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 189 kr

Skickas inom 10-15 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 789 kr

Skickas inom 7-10 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

949 kr

Skickas inom 3-6 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

1 019 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

729 kr

Skickas inom 7-10 vardagar
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle - Active Object Languages: Current Research Trends, Häftad
Del 14360 - Lecture Notes in Computer Science

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 049 kr

Skickas inom 7-10 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

729 kr

Skickas inom 7-10 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

849 kr

Skickas inom 7-10 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

709 kr

Skickas inom 7-10 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 449 kr

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

Tests and Proofs

Av Bernhard Beckert, Reiner Hähnle

Häftad, Engelska, 2008

729 kr

Skickas inom 7-10 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 449 kr

Skickas inom 7-10 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

729 kr

Skickas inom 7-10 vardagar
Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, 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, Frank S. De Boer

Häftad, Engelska, 2013

679 kr

Skickas inom 7-10 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 789 kr

Skickas inom 7-10 vardagar