Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

by Sandrine Blazy, Thomas Jensen Paperback 2015

⭐ 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: Sandrine Blazy, Thomas Jensen
  • ISBN 13: 9783662482872
  • ISBN 10: 3662482878
  • Publication Year: 2015
  • Language: English

Specifications

Index-103662482878
LanguageEnglish
Index-139783662482872
Period-
Class Track-
Publisher- (2015)
Pages-

✨ Readers also enjoyed...

View All →
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Interactive Theorem Proving : 4th …

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Inquire
Program Logics for Certified Compilers

Program Logics for Certified Compi…

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

Inquire
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selecte

Verified Software. Theories, Tools…

Sandrine Blazy, Marsha Chechik

Inquire