Grid   List

  1. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 13...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Fields of Logic and Computation II

    Fields of Logic and Computation II

    Lev D. Beklemishev
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Fields of Logic and Computation II

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Runtime Verification

    Runtime Verification

    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    69,54 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Fields of Logic and Computation III

    Fields of Logic and Computation III

    Andreas Blass
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift is published in honor of Yuri ...

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

    Verification, Model Checking, and Abstract Interpretation

    Bernd Finkbeiner
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 23...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Lautes Denken, «Stimulated Recall» und Dokumentarische Methode

    Lautes Denken, «Stimulated Recall» und Dokumentarische Methode

    Karin Aguado
    Lang, Peter GmbH
    Buch
    Print on Demand

    Methodische und methodologische empirische Grun...

    58,75 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Bernd Finkbeiner
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 13...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Runtime Verification

    Runtime Verification

    Leonardo Mariani
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    76,54 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Fields of Logic and Computation II

    Fields of Logic and Computation II

    Lev D. Beklemishev
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift is published in honor of Yuri ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Fields of Logic and Computation III

    Fields of Logic and Computation III

    Andreas Blass
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift is published in honor of Yuri ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Thomas Wies
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 23...

    103,93 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga