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

Neil D. Jones et Markus Müller-Olm - Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings.

Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings (Broché)

Edition en anglais

Neil D. Jones, Markus Müller-Olm

Springer
Paru le : 01/07/2014

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

80,24 €

Expédié sous 6 à 12 jours

ou

À retirer gratuitement en magasin U
entre le 12 juin et le 19 juin

Fiche technique

Fiche technique

Date de parution : 01/07/2014
Editeur : Springer
Collection : lecture notes computer science
ISBN : 978-3-540-93899-6
EAN : 9783540938996
Présentation : Broché
Poids : 0.61 Kg

Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings est également présent dans les rayons

Livres > Médecine, sciences, techniques > Informatique >
Livres > Médecine, sciences, techniques > Informatique > Electronique >
Livres > Médecine, sciences, techniques > Informatique > Electronique > Electronique >

Neil D. Jones et Markus Müller-Olm - Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009 Savannah, GA, USA, January 2009, Proceedings.

Verification, Model Checking, and Abstract Interpretation....

Neil D. Jones, ...

80,24 €

Haut de page