Verification, Model Checking, and Abstract Interpretation

Edition en anglais

Viktor Kuncak

Note moyenne 
Viktor Kuncak - Verification, Model Checking, and Abstract Interpretation.
74,89 € Neuf
Expédié sous 6 à 12 jours
Livré chez vous entre le 30 octobre et le 5 novembre
En magasin

Caractéristiques

  • Date de parution
    01/01/2011
  • Editeur
  • ISBN
    978-3-642-27939-3
  • EAN
    9783642279393
  • Présentation
    Broché
  • Poids
    0.71 Kg

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

Vous aimerez aussi

Derniers produits consultés

74,89 €