reiner hähnle author - Books - 24x7 online bookstore Bookswagon.ae
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
16 results found
List viewGrid view
Sort By:
1.
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
By: Reiner Hähnle, Wil van der Aalst
Publisher: Saint Philip Street Press
No Review Yet
AED274
Binding:
Hardback
Release:
08 Oct 2020
Language:
English
International Edition
Ships within 16-18 Days Explain..
2.
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
By: Reiner Hähnle, Wil van der Aalst
Publisher: Saint Philip Street Press
No Review Yet
AED225
Binding:
Paperback
Release:
08 Oct 2020
Language:
English
International Edition
Ships within 16-18 Days Explain..
3.
Handbook of Tableau Methods
Handbook of Tableau Methods
By: Dov M. Gabbay, Reiner Hähnle, M. D'Agostino, J. Posegga
Publisher: Springer
No Review Yet
AED964
Binding:
Hardback
Release:
31 Mar 1999
Language:
English
International Edition
Ships within 16-18 Days Explain..
4.
Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
By: Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Frank de Boer, Eduard Kamburjan
Publisher: Springer International Publishing AG
No Review Yet
AED307
Binding:
Paperback
Release:
29 Jan 2024
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
By: Bernhard Beckert, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Wolfgang Ahrendt
Publisher: Springer Nature Switzerland AG
No Review Yet
AED231
Binding:
Paperback
Release:
09 Dec 2020
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
By: Reiner Hähnle, Wil van der Aalst
Publisher: Springer Nature Switzerland AG
No Review Yet
AED231
Binding:
Paperback
Release:
04 Apr 2019
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Machine Learning for Dynamic Software Analysis: Potentials and Limits
By: Reiner Hähnle, Karl Meinke, Amel Bennaceur
Publisher: Springer International Publishing AG
No Review Yet
AED257
Binding:
Paperback
Release:
21 Jul 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Theorem Proving with Analytic Tableaux and Related Methods
Theorem Proving with Analytic Tableaux and Related Methods
By: Reiner Hähnle, Joachim Posegga, Peter Baumgartner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
26 Apr 1995
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Automated Deduction in Multiple-Valued Logics
Automated Deduction in Multiple-Valued Logics
By: Reiner Hähnle
Publisher: Oxford University Press
No Review Yet
AED523
Binding:
Hardback
Release:
06 Jan 1994
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Tests and Proofs
Tests and Proofs
By: Bernhard Beckert, Reiner Hähnle
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
31 Mar 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
By: Tiziana Margaria, Reiner Hähnle, Bernhard Steffen, Jens Knoop, Dietmar Schreiner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
12 Oct 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Verification of Object-Oriented Software. The KeY Approach
Verification of Object-Oriented Software. The KeY Approach
By: Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED459
Binding:
Paperback
Release:
03 Jan 2007
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Handbook of Tableau Methods
Handbook of Tableau Methods
By: Dov M. Gabbay, Reiner Hähnle, M. D'Agostino, J. Posegga
Publisher: Springer
No Review Yet
AED915
Binding:
Paperback
Release:
07 Dec 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Automated Reasoning
Automated Reasoning
By: Jürgen Giesl, Reiner Hähnle
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED459
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Deductive Software Verification – The KeY Book
Deductive Software Verification – The KeY Book
By: Bernhard Beckert, Reiner Hähnle, Mattias Ulbrich, Peter H. Schmitt, Richard Bubel
Publisher: Springer International Publishing AG
No Review Yet
AED561
Binding:
Paperback
Release:
21 Dec 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle, Elena Giachino
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED206
Binding:
Paperback
Release:
26 Aug 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found