Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY

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

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

⭐ 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, Mattias Ulbrich
  • ISBN 13: 9783030643539
  • ISBN 10: 3030643530
  • Publication Year: 2020
  • Language: English

Specifications

Index-103030643530
LanguageEnglish
Index-139783030643539
Period-
Class Track-
Publisher- (2020)
Pages-

✨ Readers also enjoyed...

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

Deductive Software Verification - …

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

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
Principles of Electric Circuits : Conventional Current Version

Principles of Electric Circuits : …

Thomas L. Floyd

Inquire
Philosophy of Welfare : Selected Writing of Richard M. Titmuss

Philosophy of Welfare : Selected W…

Brian Abel-Smith, Kay Titmuss

Inquire