Apparemment, javascript est désactivé sur votre navigateur.

Javascript doit être activé dans votre navigateur pour utiliser toutes les fonctionnalités de ce site.

›

En cours de chargement...

Recherche avancée

Accueil ›
Livres ›
Médecine, sciences, techniques ›
Mathématiques ›
Mathématiques - préparations aux examens ›
Mathématiques pour l'informatique

Gilles Barthe - Verification, Model Checking, and Abstract Interpretation.

Verification, Model Checking, and Abstract Interpretation (Broché)

Edition en anglais

Gilles Barthe

Springer
Paru le : 01/01/2010

Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h*
* si livre disponible en stock, livraison payante

96,29 €

Expédié sous 6 à 12 jours

ou

À retirer gratuitement en magasin U
entre le 11 octobre et le 16 octobre

Fiche technique

Fiche technique

Date de parution : 01/01/2010
Editeur : Springer
ISBN : 978-3-642-11318-5
EAN : 9783642113185
Présentation : Broché
Poids : 0.62 Kg

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

Gilles Barthe - Verification, Model Checking, and Abstract Interpretation.

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

96,29 €

Haut de page