Detailsuche

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 €Ebook
    Alle Preise inkl. MwSt
  2. Runtime Verification
    0 %
    Runtime Verification
    Saddek Bensalem
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,62 €

    Jetzt 56,61 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  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 €Ebook
    Alle Preise inkl. MwSt
  10. Formal Techniques for Networked and Distributed Systems - FORTE 2002
    0 %
    Formal Techniques for Networked and Distributed Systems - FORTE 2002
    Doron A. Peled
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2