Grid   List

  1. Runtime Verification

    Runtime Verification

    Saddek Bensalem
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Doron A. Peled
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The Automated Technology for Veri?cation and An...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Model Checking, second edition

    Model Checking, second edition

    Edmund M. Clarke
    MIT Press
    Ebook
    Sofort lieferbar

    An expanded and updated edition of a comprehens...

    81,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Cyrille Artho
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 14...

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

    Verification, Model Checking, and Abstract Interpretation

    Francesco Logozzo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book contains the proceedings of VMCAI 200...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Time for Verification

    Time for Verification

    Zohar Manna
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume is dedicated to the memory of  the ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Model Checking and Artificial Intelligence

    Model Checking and Artificial Intelligence

    Doron A. Peled
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Computer Aided Verification

    Computer Aided Verification

    Rajeev Alur
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Doron A. Peled
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The IFIP TC6 WG 6.1 Joint International Confere...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  10. Computer Aided Verification

    Computer Aided Verification

    Nicolas Halbwachs
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  11. Software Reliability Methods

    Software Reliability Methods

    Doron A. Peled
    Springer New York
    Ebook
    Sofort lieferbar

    This book presents current methods for dealing ...

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

    Verification, Model Checking, and Abstract Interpretation

    Francesco Logozzo
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    th This volumecontains the proceedingsof the 9 ...

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