Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of

by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen Paperback 2012

⭐ 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: Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
  • ISBN 13: 9783642347801
  • ISBN 10: 3642347800
  • Publication Year: 2012
  • Language: English

Specifications

Index-10 3642347800
Index-13 9783642347801
Language English

✨ 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
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and …

Elena Giachino, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle

Inquire
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2

Machine Learning for Dynamic Softw…

Amel Bennaceur, Reiner Hähnle, Karl Meinke

Inquire
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests and Proofs : Second Internat…

Bernhard Beckert, Reiner Hähnle

Inquire