Detailsuche

Grid  List

  1. Advances in Temporal Logic
    0 %
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 166,64 €

    Jetzt 166,63 €Ebook
    Alle Preise inkl. MwSt
  2. Runtime Verification
    0 %
    Runtime Verification
    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,45 €

    Jetzt 57,44 €Ebook
    Alle Preise inkl. MwSt
  3. Advances in Temporal Logic
    0 %
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands, Springer Netherlands
    Buch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 246,10 €

    Jetzt 160,47 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Temporal Logic in Specification
    0 %
    Temporal Logic in Specification
    Behnam Banieqbal
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. A Survey of Verification Techniques for Parallel Programs
    A Survey of Verification Techniques for Parallel Programs
    Howard Barringer
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    24,60 €Taschenbuch
    Alle Preise inkl. MwSt | zzgl. Versand
  6. Advances in Temporal Logic
    0 %
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 246,10 €

    Jetzt 160,47 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Runtime Verification
    0 %
    Runtime Verification
    Howard Barringer
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1