Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Deductive Software Verification - the KeY Book : From Theory to Practice

Deductive Software Verification - the KeY Book : From Theory to Practice

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt Paperback 2016

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
  • ISBN 13: 9783319498119
  • ISBN 10: 3319498118
  • Publication Year: 2016
  • Language: English

Specifications

Index-103319498118
LanguageEnglish
Index-139783319498119
Period-
Class Track-
Publisher- (2016)
Pages-

✨ Readers also enjoyed...

View All →
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: F…

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Inquire
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

Integrated Formal Methods : 15th I…

Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

Inquire
The Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

The Logic of Software. a Tasting M…

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

Inquire
Heirloom Projects

Heirloom Projects

Unknown Author

Inquire
Quick-Method Quilts with Style

Quick-Method Quilts with Style

Leisure Arts

Inquire