Computer Aided Verification

Par : Sanjit A. Seshia

Formats :

93,09 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay indisponible
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • PrésentationBroché
  • Poids1.17 kg
  • ISBN978-3-642-31423-0
  • EAN9783642314230
  • Date de parution01/01/2012
  • ÉditeurSpringer