wolfgang ahrendt
Integrated Formal Methods
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 15th International Conference on Integrated...
Deductive Software Verification - The KeY Book
EbookSofort lieferbarStatic analysis of software with deductive methods is a highly dynamic field of research on the v...
Tests and Proofs
EbookSofort lieferbarThe 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were care...
Erfolgsfaktor Sozialkompetenz
EbookSofort lieferbarMitarbeiter und ihre Kompetenzen werden immer wichtiger für Unternehmen und können sogar einen We...
Erfolgsfaktor Sozialkompetenz
EbookSofort lieferbarMitarbeiter und ihre Kompetenzen werden immer wichtiger für Unternehmen und können sogar einen We...
Deductive Software Verification: Future Perspectives
EbookSofort lieferbarSince the inception of the KeY project two decades ago, the area of deductive verification has ev...
The Logic of Software. A Tasting Menu of Formal Methods
EbookSofort lieferbarThis Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...
Deductive Software Verification - The KeY Book
TaschenbuchBezug 11-15Static analysis of software with deductive methods is a highly dynamic field of research on th...
Integrated Formal Methods
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 15th International Conference on Integrated...
Tests and Proofs
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 14th International Conference on Tests a...
Deductive Software Verification: Future Perspectives
TaschenbuchBezug 11-15This 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
TaschenbuchBezug 11-15This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...
- 1
- 2