Reiner Hahnle

Reiner Hahnle

16 results found
List viewGrid view
Sort By:
1.
Fundamental Approaches to Software Engineering37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
04 Apr 2019
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Active Object Languages: Current Research Trends37 %
No Review Yet
₹6,336
₹3,992
Binding:
Paperback
Release:
24 Feb 2024
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Deductive Software Verification: Future Perspectives37 %
Available
Ships within 12-14 Days Explain..
6.
Machine Learning for Dynamic Software Analysis: Potentials and Limits37 %
Publisher: Springer
No Review Yet
₹5,568
₹3,508
Binding:
Paperback
Release:
21 Jul 2018
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Leveraging Applications of Formal Methods, Verification, and Validation37 %
Available
Ships within 12-14 Days Explain..
8.
Deductive Software Verification - The Key Book37 %
Publisher: Springer
No Review Yet
₹11,520
₹7,258
Binding:
Paperback
Release:
21 Dec 2016
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Tests and Proofs59 %
No Review Yet
₹6,090
₹2,497
Binding:
Paperback
Release:
01 Jun 2008
Language:
English
Available
Ships within 2-4 Days Explain..
10.
Verification of Object-Oriented Software. the Key Approach37 %
Available
Ships within 12-14 Days Explain..
11.
Formal Methods for Components and Objects37 %
Publisher: Springer
No Review Yet
₹4,416
₹2,782
Binding:
Paperback
Release:
26 Aug 2013
Language:
English
Available
Ships within 12-14 Days Explain..
12.
Handbook of Tableau Methods37 %
Publisher: Springer
No Review Yet
₹19,200
₹12,096
Binding:
Hardback
Release:
31 Mar 1999
Language:
English
Available
Ships within 12-14 Days Explain..
13.
Handbook of Tableau Methods37 %
Publisher: Springer
No Review Yet
₹19,200
₹12,096
Binding:
Paperback
Release:
07 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
14.
Automated Deduction in Multiple-Valued Logics18 % NR
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
15.
Automated ReasoningNR
No Review Yet
₹9,980
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
16.
Fundamental Approaches to Software Engineering1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
06 Apr 2019
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found