Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

by Ahmed Bouajjani, David Monniaux Paperback 2017

⭐ 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: Ahmed Bouajjani, David Monniaux
  • ISBN 13: 9783319522333
  • ISBN 10: 3319522337
  • Publication Year: 2017
  • Language: English

Specifications

Index-103319522337
LanguageEnglish
Index-139783319522333
Period-
Class Track-
Publisher- (2017)
Pages-

✨ Readers also enjoyed...

View All →
Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, Proceedings

Automated Technology for Verificat…

Ahmed Bouajjani, Lukás Holík, Zhilin Wu

Inquire
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Automated Technology for Verificat…

Ahmed Bouajjani, Wei-Ngan Chin

Inquire
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Computer Aided Verification : 21st…

Ahmed Bouajjani, Oded Maler

Inquire
Formal Techniques for Disributed Objects, Components, and Systems : 37th Ifip Wg 6. 1 International Conference, Forte 2017, Held As Part of the 12th I

Formal Techniques for Disributed O…

Ahmed Bouajjani, Alexandra Silva

Inquire
Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

Networked Systems : Third Internat…

Ahmed Bouajjani, Hugues Fauconnier

Inquire