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

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

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

Edition en anglais

Neil D. Jones

,

Markus Müller-Olm

Donner le premier avis

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.

80,24 €

Expédié sous 6 à 12 jours

Livré chez vous entre le 30 avril et le 7 mai

En magasin

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

Écoutez ce qu'en disent nos libraires !

80,24 €