Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selecte

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

by Sandrine Blazy, Marsha Chechik Paperback 2016

⭐ 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, Marsha Chechik
  • ISBN 13: 9783319488684
  • ISBN 10: 3319488686
  • Publication Year: 2016
  • Language: English

Specifications

Index-103319488686
LanguageEnglish
Index-139783319488684
Period-
Class Track-
Publisher- (2016)
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
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Static Analysis : 22nd Internation…

Sandrine Blazy, Thomas Jensen

Inquire
Sexual Suicide

Sexual Suicide

George F. Gilder

Inquire