Verification, Model Checking, and Abstract Interpretation

Par : Xavier Rival
Formats :
72,80 €
  • PrésentationBroché
  • Poids0.77 kg
  • ISBN978-3-642-54012-7
  • EAN9783642540127
  • Date de parution01/01/2014
  • ÉditeurSpringer