*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Runtime Verification
    Runtime Verification
    Serdar Tasiran
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    57,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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 the 3...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. 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 the ...

    58,74 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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 Verified S...

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