Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni 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: Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
  • ISBN 13: 9783642358722
  • ISBN 10: 3642358721
  • Publication Year: 2013
  • Language: English

Specifications

Index-103642358721
LanguageEnglish
Index-139783642358722
Period-
Class Track-
Publisher- (2013)
Pages-

✨ Readers also enjoyed...

View All →
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasio

Analysis, Verification and Transfo…

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

Inquire
Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Static Analysis : 11th Internation…

Roberto Giacobazzi

Inquire
Static Analysis : 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Static Analysis : 31st Internation…

Roberto Giacobazzi, Alessandra Gorla

Inquire
Recetas de la Tradicion Italiana 2022 : Autenticas Recetas Regionales para Principiantes

Recetas de la Tradicion Italiana 2…

Martina Moro

Inquire
Dadu - Life and Poems

Dadu - Life and Poems

Dadu Dayal, Paul Smith

Inquire