Erweiterte Suche

Grid  List

  1. Advances in Temporal Logic Advances in Temporal Logic

    Advances in Temporal Logic

    Howard Barringer
    Springer Netherlands, Springer Netherlands
    31.12.1999

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

    Gebunden
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Temporal Logic in Specification Temporal Logic in Specification

    Temporal Logic in Specification

    Behnam Banieqbal
    Springer Berlin Heidelberg
    11.10.1989

    Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expres...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. A Survey of Verification Techniques for Parallel Programs A Survey of Verification Techniques for Parallel Programs

    A Survey of Verification Techniques for Parallel Programs

    Howard Barringer
    Springer Berlin Heidelberg
    01.05.1985

    Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs...

    Taschenbuch
    24,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Advances in Temporal Logic Advances in Temporal Logic

    Advances in Temporal Logic

    Howard Barringer
    Springer Netherlands
    08.12.2010

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. 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