Erweiterte Suche

Grid  List

  1. Runtime Verification Runtime Verification

    Runtime Verification

    César Sánchez
    Springer International Publishing, Springer International Publishing
    20.09.2016

    This book constitutes the refereed proceedings of the 16th International Conference on Runtime Ve...

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

    Lectures on Runtime Verification

    Yliès Falcone
    Springer International Publishing, Springer International Publishing
    11.02.2018

    The idea of this volume originated from the need to have a book for students to support their tra...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods in Outer Space Formal Methods in Outer Space

    Formal Methods in Outer Space

    Ezio Bartocci
    Springer International Publishing, Springer International Publishing
    28.09.2021

    This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Runtime Verification Runtime Verification

    Runtime Verification

    Howard Barringer
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1