Grid   List

  1. Computer Aided Verification
    -0 %

    Computer Aided Verification

    Ahmed Bouajjani
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 21st International Conference on Computer A...

    Unser bisheriger Preis:ORGPRICE: 124,94 €

    Jetzt 114,30 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Verification, Model Checking, and Abstract Interpretation
    -0 %

    Verification, Model Checking, and Abstract Interpretation

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 18th International Conference on Verificati...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Networked Systems
    -0 %

    Networked Systems

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This bookconstitutes the revised selected papers of the Third International Conferenceon Networke...

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Automated Technology for Verification and Analysis
    -0 %

    Automated Technology for Verification and Analysis

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 20th International Symposium on Automated T...

    Unser bisheriger Preis:ORGPRICE: 83,00 €

    Jetzt 82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1