^^PAGEHEADLINE ^^
-
Deductive Software Verification - The KeY Book
Springer Verlag GmbH 21.12.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenStatic analysis of software with deductive methods is a highly dynamic field of research on the v...
-
Integrated Formal Methods
Springer Verlag GmbH 15.11.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 15th International Conference on Integrated...
-
Tests and Proofs
Springer Verlag GmbH 20.06.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Deductive Software Verification: Future Perspectives
Springer Verlag GmbH 09.12.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...
-
The Logic of Software. A Tasting Menu of Formal Methods
Springer Verlag GmbH 16.06.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...
- 1