Grid   List

  1. Computer Aided Verification
    -0 %

    Computer Aided Verification

    Viktor Kuncak
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    Unser bisheriger Preis:ORGPRICE: 56,24 €

    Jetzt 56,23 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Computer Aided Verification
    -0 %

    Computer Aided Verification

    Viktor Kuncak
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    Unser bisheriger Preis:ORGPRICE: 56,09 €

    Jetzt 56,08 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Verification, Model Checking, and Abstract Interpretation
    -0 %

    Verification, Model Checking, and Abstract Interpretation

    Viktor Kuncak
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,47 €

    Jetzt 56,46 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Viktor Kuncak
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    74,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1