Grid   List

  1. Formal Techniques for Networked and Distributed Systems - FORTE 2002
    -0 %

    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 Conference on Formal Techniques for Networked and Distrib...

    Unser bisheriger Preis:ORGPRICE: 56,89 €

    Jetzt 56,88 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Runtime Verification
    -0 %

    Runtime Verification

    Saddek Bensalem
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,62 €

    Jetzt 56,61 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Model Checking and Artificial Intelligence
    -0 %

    Model Checking and Artificial Intelligence

    Doron A. Peled
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...

    Unser bisheriger Preis:ORGPRICE: 71,39 €

    Jetzt 57,11 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Model Checking, second edition
    -0 %

    Model Checking, second edition

    Jr. Edmund M. Clarke
    MIT Press
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 85,45 €

    Jetzt 85,44 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Software Reliability Methods
    -0 %

    Software Reliability Methods

    Doron A. Peled
    Springer New York
    Ebook
    Sofort lieferbar

    Many books focus on increasing the quality of software through the use of formal methods. However...

    Unser bisheriger Preis:ORGPRICE: 56,64 €

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

    Computer Aided Verification

    Nicolas Halbwachs
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 11th International Conference on Computer A...

    Unser bisheriger Preis:ORGPRICE: 56,91 €

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

    Computer Aided Verification

    Rajeev Alur
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 112,70 €

    Jetzt 112,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Verification, Model Checking, and Abstract Interpretation
    -0 %

    Verification, Model Checking, and Abstract Interpretation

    Francesco Logozzo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book contains the proceedings of VMCAI 2007. It features current research from the communiti...

    Unser bisheriger Preis:ORGPRICE: 56,49 €

    Jetzt 56,48 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Time for Verification
    -0 %

    Time for Verification

    Zohar Manna
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume is dedicated to the memory ofthe 1996 Turing Award winner Amir Pnueli. It contains ...

    Unser bisheriger Preis:ORGPRICE: 101,96 €

    Jetzt 101,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1