Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

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

by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa Paperback 2019

⭐ 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, Silvia Lizeth Tapia Tarifa
  • ISBN 13: 9783030349677
  • ISBN 10: 3030349675
  • Publication Year: 2019
  • Language: English

Specifications

Index-103030349675
LanguageEnglish
Index-139783030349677
Period-
Class Track-
Publisher- (2019)
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
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
Think Spots for Life

Think Spots for Life

Derric Johnson

Inquire
The Gift of Alzheimer's : New Insights into the Potential of Alzheimer's and Its Care

The Gift of Alzheimer's : New Insi…

Maggie La Tourelle, Neale Donald Walsch

Inquire