Reiner Hähnle Editor & Author

Deductive Software Verification – The KeY Book

6 contributors - Paperback

£109.99

Deductive Software Verification: Future Perspectives

5 contributors - Paperback

£44.99

Active Object Languages: Current Research Trends

5 contributors - Paperback

£64.99

Fundamental Approaches to Software Engineering

2 authors - Paperback

£42.95

Formal Methods for Components and Objects

4 contributors - Paperback

£39.99

Automated Deduction in Multiple-Valued Logics

Reiner Hähnle - Hardback

£107.50

Fundamental Approaches to Software Engineering

2 contributors - Paperback

£44.99

Fundamental Approaches to Software Engineering

2 authors - Hardback

£46.95

Machine Learning for Dynamic Software Analysis: Potentials and Limits

3 contributors - Paperback

£49.99