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
£59.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
£102.50
2 contributors - Paperback
2 authors - Hardback
£46.95