Profisuche

serdar tasiran

Grid   List

  1. Runtime Verification

    Runtime Verification

    Oleg Sokolsky
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...

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

    Runtime Verification

    Shaz Qadeer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Verified Software. Theories, Tools and Experiments

    Verified Software. Theories, Tools and Experiments

    Andrew Reynolds
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  4. Computer Aided Verification

    Computer Aided Verification

    Serdar Tasiran
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Runtime Verification

    Runtime Verification

    Serdar Tasiran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Runtime Verification

    Runtime Verification

    Serdar Tasiran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  7. Computer Aided Verification

    Computer Aided Verification

    Serdar Tasiran
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Verified Software. Theories, Tools and Experiments

    Verified Software. Theories, Tools and Experiments

    Serdar Tasiran
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1