Detailsuche

Grid  List

  1. Runtime Verification
    0 %
    Runtime Verification
    Oleg Sokolsky
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Runtime veri?cation is a recent direction in formal methods research, which is complementary to s...

    Unser bisheriger Preis:ORGPRICE: 57,76 €

    Jetzt 57,75 €Ebook
    Alle Preise inkl. MwSt
  2. Runtime Verification
    0 %
    Runtime Verification
    Shaz Qadeer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

    Unser bisheriger Preis:ORGPRICE: 57,91 €

    Jetzt 57,90 €Ebook
    Alle Preise inkl. MwSt
  3. Computer Aided Verification
    0 %
    Computer Aided Verification
    Isil Dillig
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the ...

    Unser bisheriger Preis:ORGPRICE: 3,80 €

    Jetzt 3,79 €Ebook
    Alle Preise inkl. MwSt
  4. Computer Aided Verification
    0 %
    Computer Aided Verification
    Isil Dillig
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 3...

    Unser bisheriger Preis:ORGPRICE: 3,82 €

    Jetzt 3,81 €Ebook
    Alle Preise inkl. MwSt
  5. Verified Software. Theories, Tools and Experiments
    0 %
    Verified Software. Theories, Tools and Experiments
    Andrew Reynolds
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 15th International Conference on Verified S...

    Unser bisheriger Preis:ORGPRICE: 57,46 €

    Jetzt 57,45 €Ebook
    Alle Preise inkl. MwSt
  6. Computer Aided Verification
    Computer Aided Verification
    Serdar Tasiran
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of th...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Runtime Verification
    Runtime Verification
    Serdar Tasiran
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Runtime veri?cation is a recent direction in formal methods research, which is complementary to s...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Runtime Verification
    0 %
    Runtime Verification
    Serdar Tasiran
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Computer Aided Verification
    Computer Aided Verification
    Serdar Tasiran
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of t...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Verified Software. Theories, Tools and Experiments
    Verified Software. Theories, Tools and Experiments
    Serdar Tasiran
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 15th International Conference on Verifie...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1