Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
CHF 158.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Hähnle, Reiner (Hrsg.) / Schmitt, Peter H. (Hrsg.)
- ISBN: 978-3-540-68977-5
- EAN: 9783540689775
- Produktnummer: 2727317
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 692 S.
- Masse: H23.9 cm x B15.7 cm x D2.9 cm 991 g
- Auflage: 2007
- Abbildungen: Paperback
- Gewicht: 991
19 weitere Werke von Bernhard (Hrsg.) Beckert:
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Foreword by K. Rustan M. Leino
Ebook (PDF Format)
CHF 136.00
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