Verification, Model Checking, and Abstract Interpretation. 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings

Par : Neil D. Jones, Markus Müller-Olm
Formats :
80,24 €
  • PrésentationBroché
  • Poids0.61 kg
  • ISBN978-3-540-93899-6
  • EAN9783540938996
  • Date de parution01/07/2014
  • Collectionlecture notes computer science
  • ÉditeurSpringer