Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen Paperback 1

⭐ 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, Einar Broch Johnsen
  • ISBN 13: 9783031081651
  • ISBN 10: 303108165X
  • Publication Year: 1
  • Language: English

Specifications

Index-10303108165X
LanguageEnglish
Index-139783031081651
Period-
Class Track-
Publisher- (1)
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
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
Polypropylene

Polypropylene

Theodore O. J. Kresser

Inquire