Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.
CHF 136.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Hähnle, Reiner (Hrsg.) / Schmitt, Peter H. (Hrsg.)
- ISBN: 978-3-540-69061-0
- EAN: 9783540690610
- Produktnummer: 33301238
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 658 S.
- Plattform: PDF
- Masse: 6'944 KB
- Auflage: 2007
- Abbildungen: Bibliographie
- Reihenbandnummer: 4334
19 weitere Werke von Bernhard (Hrsg.) Beckert:
Formal Methods for Components and Objects
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 72.00
Formal Verification of Object-Oriented Software
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 80.00
Deductive Software Verification - The KeY Book
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 118.00
Automated Reasoning with Analytic Tableaux and Related Methods
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 100.00
Deductive Software Verification: Future Perspectives
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 78.00
Formal Verification of Object-Oriented Software
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 54.50
Bewertungen
Anmelden