Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

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

by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie Paperback 2013

⭐ 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, Christine Paulin-Mohring, David Pichardie
  • ISBN 13: 9783642396335
  • ISBN 10: 364239633X
  • Publication Year: 2013
  • Language: English

Specifications

Index-10364239633X
LanguageEnglish
Index-139783642396335
Period-
Class Track-
Publisher- (2013)
Pages-

✨ Readers also enjoyed...

View All →
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
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
MP. Jahrgang 3, Heft 5

MP. Jahrgang 3, Heft 5

De Gruyter

Inquire