Verification, Model Checking, and Abstract Interpretation

Edition en anglais

Xavier Rival

Note moyenne 
Xavier Rival - Verification, Model Checking, and Abstract Interpretation.
72,80 € Neuf
Expédié sous 6 à 12 jours
Livré chez vous entre le 3 mai et le 10 mai
En librairie

Caractéristiques

  • Date de parution
    01/01/2014
  • Editeur
  • ISBN
    978-3-642-54012-7
  • EAN
    9783642540127
  • Présentation
    Broché
  • Poids
    0.77 Kg

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

Derniers produits consultés

72,80 €