Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Runtime Verification Runtime Verification

    Runtime Verification

    Serdar Tasiran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.01.2013

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Runtime Verification Runtime Verification

    Runtime Verification

    Serdar Tasiran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.12.2007

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Serdar Tasiran
    Springer International Publishing, Springer Nature Switzerland
    13.07.2019

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Serdar Tasiran
    Springer International Publishing, Springer Nature Switzerland
    13.07.2019

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verified Software. Theories, Tools and Experiments Verified Software. Theories, Tools and Experiments

    Verified Software. Theories, Tools and Experiments

    Serdar Tasiran
    Springer Nature Switzerland, Springer Nature Switzerland
    27.07.2024

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

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