Grid   List

  1. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Verified Software. Theories, Tools and Experiments.

    Verified Software. Theories, Tools and Experiments.

    Akash Lal
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Deepak D’Souza
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  4. Verified Software. Theories, Tools and Experiments.

    Verified Software. Theories, Tools and Experiments.

    Stefano Tonetta
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  5. Computer Aided Verification

    Computer Aided Verification

    Akash Lal
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    The open access proceedings set LNCS 13964, 139...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Computer Aided Verification

    Computer Aided Verification

    Akash Lal
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    The open access proceedings set LNCS 13964, 139...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. Computer Aided Verification

    Computer Aided Verification

    Akash Lal
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    The open access proceedings set LNCS 13964, 139...

    42,79 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga