Menu
Accès à : decitrepro.fr

Verification, Model Checking, and Abstract Interpretation

Edition en anglais

Ranjit Jhala

Note moyenne 
Donner le premier avis
Ranjit Jhala - Verification, Model Checking, and Abstract Interpretation.
85,59 € Neuf
Expédié sous 6 à 12 jours
Livré chez vous entre le 30 avril et le 7 mai
En librairie

Caractéristiques

  • Date de parution
    01/01/2011
  • Editeur
    Springer
  • ISBN
    978-3-642-18274-7
  • EAN
    9783642182747
  • Présentation
    Broché
  • Poids
    0.65 Kg

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

Du même auteur

  • Ranjit Jhala et Koen De Bosschere - Compiler Construction - 22nd International Conference, CC 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 Rome, Italy, March 2013, Proceedings.
    47,80 €
Voir toute la sélection

Derniers produits consultés

Verification, Model Checking, and Abstract Interpretation est également présent dans les rayons


Livraison
sous 24/48h

Retrait en librairie
gratuit en 1h

Service clients
de 9h à 17h30

Paiement PayPal en
4X sans frais
Newsletter
Inscrivez-vous pour découvrir
toutes nos offres !
MIEUX NOUS CONNAITRE
BESOIN D'AIDE ?
AUTOUR DU NUMERIQUE
Haut de page
85,59 €