Verification, Model Checking, and Abstract Interpretation

Par : Ranjit Jhala
Formats :
85,59 €
  • PrésentationBroché
  • Poids0.65 kg
  • ISBN978-3-642-18274-7
  • EAN9783642182747
  • Date de parution01/01/2011
  • ÉditeurSpringer