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

Par : Neil D. Jones, Markus Müller-Olm

Formats :

80,24 €
    • PrésentationBroché
    • Poids0.61 kg
    • ISBN978-3-540-93899-6
    • EAN9783540938996
    • Date de parution01/07/2014
    • Collectionlecture notes computer science
    • ÉditeurSpringer

    A propos de Neil D. Jones

    Découvrir l'auteur