Verification, Model Checking, and Abstract Interpretation

Par : Josh Berdine
Formats :
72,80 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 28 septembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 25 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • PrésentationBroché
  • Poids0.84 kg
  • ISBN978-3-642-35872-2
  • EAN9783642358722
  • Date de parution01/01/2013
  • ÉditeurSpringer